Concrete syntax for pattern synonym type signatures

[Dr. ERDI Gergo]

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