Re: [Haskell-cafe] Re: Lexically scoped type variables

oleg@pobox.com writes:

and use "`asTypeOf` result" wherever we need to refer to resType.

I don't like being left with only asTypeOf, because when the desired type has its structure shuffled, it forces to invent a transformation on unused expressions which yields the given transformation on their types - ugly. It should be possible to name every part of a type (or at least every polymorphic part) with a type variable, and use it in local type signatures. For me it's fine if implicit foralls bring type variables into scope. The only disadvantage is that it's incompatible with Haskell 98. -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/