[Haskell-cafe] Trying to make a Typeable instance

Benja Fallenstein benja.fallenstein at gmail.com
Sun Jul 8 09:31:50 EDT 2007


Hi Adrian,

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?

- Benja


More information about the Haskell-Cafe mailing list