Comment by smackmybishop

They actually do. The type constructor maps types to types (which are Hask objects), and `fmap` maps the functions (which are the morphisms).