. . "Hask refers to a category with types as objects and functions between them as morphisms." . . .