[Haskell-cafe] A pattern does not admit a type signature.

[Ignat Insarov]

Thank you Oleg. This makes sense. It did not occur to me that I can
study the builder and the matcher of the pattern synonym separately.