/Я language (β)/Operators/ut/

Factoring through [U]nit [T]ype
`ut` : target i Unit

It's an infix version of terminal morphism.

You cannot use this operator standalone.