Control.Category.Hask
type Hask