Haskell is not category theory