Control.Category.Hask
type
Hask