"Can't apply function " ++ show f ++
" to argument " ++ show x)
+#ifndef __HUGS__
-------------------------------------------------------------
--
-- Type representations
-- | A concrete representation of a (monomorphic) type. 'TypeRep'
-- supports reasonably efficient equality.
-#ifndef __HUGS__
data TypeRep = TypeRep !Key TyCon [TypeRep]
-- Compare keys for equality