I&#39;d like to see something resembling as-patterns in type signatures.  Specifically, there are cases where I&#39;m inclined to use<br>(m ~ pat) in a type context when m isn&#39;t otherwise constrained, just so I can use m as an abbreviation for pat.  To reduce these cases, I&#39;d like to see the syntax m@pat allowed for use in type signatures, with m becoming simply an alias for pat.  Thoughts?  <br>

<br>I&#39;ve added a ticket <a href="http://hackage.haskell.org/trac/ghc/ticket/3545">here</a>.<br><br clear="all">Louis Wasserman<br><a href="mailto:wasserman.louis@gmail.com">wasserman.louis@gmail.com</a><br><a href="http://profiles.google.com/wasserman.louis">http://profiles.google.com/wasserman.louis</a><br>