module Prelude where

class Functor f where
    fmap  :: (a -> b) -> f a -> f b