✓ Functor.hs