Changes to Typeable

Roman Leshchinskiy rl at
Sun Feb 12 02:23:17 CET 2012

On 10/02/2012, at 23:30, John Meacham wrote:

> something I have thought about is perhaps a special syntax for Proxy, like
> {:: Int -> Int } is short for (Proxy :: Proxy (Int -> Int)). not sure whether
> that is useful enough in practice though, but could be handy if we are throwing
> around types a lot.

We really need explicit syntax for type application. There are already a lot of cases where we have to work around not having it (e.g., Storable) and with the new extensions, there are going to be more and more of those.


More information about the Glasgow-haskell-users mailing list