class Difunctor f where
   dimap :: (a -> b) -> (c -> d) -> (f b c -> f a d)

instance Difunctor (->) where
   (f `dimap` g) h = g . h . f

data Rec f = In (f (Rec f) (Rec f))