class Functor f where
    map :: (a -> b) -> f a -> f b
    
instance Functor Integer where
    map = fail "Not implemented."

main = "Not to be executed."
--
4:18-4:25: Expected a type with kind * -> * but got *.