I'd like to see something resembling as-patterns in type signatures. Specifically, there are cases where I'm inclined to use<br>(m ~ pat) in a type context when m isn't otherwise constrained, just so I can use m as an abbreviation for pat. To reduce these cases, I'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'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>