Hask

Hask is the name usually given to the category having Haskell types as objects and Haskell functions between them as morphisms.

A type-constructor that is an instance of the Functor class is an endofunctor on Hask.

• Makoto Hamana: What is the category for Haskell?

This article is a stub. You can help by expanding it.