Precedence: 9

`hu` - [U]nit

How to read: factor an argument via Unit object covariantly.