[Haskell-cafe] Trying to make a Typeable instance
benja.fallenstein at gmail.com
Sun Jul 8 09:31:50 EDT 2007
2007/7/8, Adrian Hey <ahey at iee.org>:
> 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?
More information about the Haskell-Cafe