Re: [GHC] #12203: Allow constructors on LHS of (implicit) bidirectional pattern synonym