Including a type-signature in a pattern synonym seems to cause an issue: ```haskell pattern MkZ fld3 <- ( foo -> ( fld3 :: TYPE rep ) ) where MkZ fld3 = bar ````  Without the type-signature, it's OK: 