Why can't I do this: > import FiniteMap > type FM = FiniteMap > instance (Show a, Show b) => Show (FiniteMap a b) where > show = show . fmToList > data X = X (FM Int Int) > deriving (Show)
if I replace > type FM = FiniteMap with > type FM a b = FiniteMap a b it works fine. I wasn't aware there was (supposed to be) a difference between these two declarations? Is there? - Hal -- Hal Daume III "Computer science is no more about computers | [EMAIL PROTECTED] than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell