10 Feb
2012
10 Feb
'12
6:46 p.m.
On Fri, Feb 10, 2012 at 03:30:02PM -0800, 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.
See also http://hackage.haskell.org/trac/ghc/ticket/4466 Thanks Ian