class Functor f where map :: (a -> b) -> f a -> f b data Iddd a = Idd a instance Functor Idd where map (Idd x) = x -- 6:18-6:21: Didn't find type constructor Idd.