Thanks to Sven Panne.
The module should be back to Haskell 98
or at least should not break hugs anymore.
-- | Variant for unary type constructors
-class Typeable (t ()) => Typeable1 t where
+class Typeable1 t where
typeOf1 :: t a -> TyCon
-- | Variant for binary type constructors
-class Typeable (t () ()) => Typeable2 t where
+class Typeable2 t where
typeOf2 :: t a b -> TyCon