I need to write the Functor instances for the Flip datatype:
Flip
data K a b = K a newtype Flip f a b = Flip (f b a) deriving (Eq, Show) instance Functor