Hi, On Fri, Jul 26, 2013 at 10:42 PM, Wvv <vite...@rambler.ru> wrote:
> First useful use is in Typeable. > In GHC 7.8 > class Typeable (a::k) where ... <<==>> class Typeable (a ::**) where ... > > But we can't write > data Foo (a::k)->(a::k)->* ... deriving Typeable > Why not? This works fine in 7.7, as far as I know. Cheers, Pedro
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
