I actually have wanted a similar thing at times, the proposal I had in
mind was a bit less drastic, simply allow '_' in type signatures which
will unify with any arbitrary type. that way you can give any function
the type
f :: _ -> _
or if you just want to resstrict part of the type you could say
Already in GHC, and describe in our paper on scoped type variables:
http://research.microsoft.com/~simonpj/papers/scoped-tyvar
Simon
| -Original Message-
| From: Ashley Yakeley [mailto:[EMAIL PROTECTED]]
| Sent: 11 April 2002 12:11
| To: Haskell List
| Subject: More Haskell Blue