Precedence: 9
`hu` - [U]nitHow to read: factor an argument via Unit object covariantly as it was a Hom Functor.
Works similarly to ho but ignores input (like constant morphism).
Precedence: 9
`hu` - [U]nitHow to read: factor an argument via Unit object covariantly as it was a Hom Functor.
Works similarly to ho but ignores input (like constant morphism).