. . . "Jump to: navigation, search Hask refers to a category with types as objects and functions between them as morphisms." . .