Re: [Haskell-cafe] Trying to make a Typeable instance

Hi Adrian, 2007/7/8, Adrian Hey :

So it seems ghc doesn't like kinds (* -> *) either :-(

Actually, AFAICT the problem seems to be with Data.Typeable itself rather than ghc. There is no proper TypeRep for (ListGT map k a) because map is not a type.

Have you tried using (Typeable1 map) as the constraint? - Benja