Re: Concrete syntax for pattern synonym type signatures

On Wed, 5 Nov 2014, Edward Kmett wrote:

One note on the syntax front, 'pattern type' was mentioned as annoyingly trying to shoehorn the word 'type' in to lean on an existing keyword, even though its about a term level construction rather than a type level one. We do have some perfectly serviceable keywords available to us that indicate a more 'term/pattern' orientation, e.g. 'case' and 'of' come to mind as things that are viable candidates for similar abuse here.

careful there, or someone might suggest type of pattern P :: ... :P