--- /dev/null
+class Functor f where\r
+ map :: (a -> b) -> f a -> f b\r
+ \r
+instance Functor Integer where\r
+ map = fail "Not implemented."\r
+\r
+main = "Not to be executed."\r
+--\r
+4:18-4:25: Expected a type with kind * -> * but got *.
\ No newline at end of file