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

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.