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. Roman _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users