Make it clearer when we are dealing with the category (->) that we mean the category of haskell types via its Hom bifunctor (->)