Precedence: 9
`ha` - [H]om Functor contr[A]variantHow to read: modify the contravariant argument (first) as it was a Hom Functor.
You can think about it as a composition operator from category theory that takes morphisms from right to left.
Compare it with ho operator which composes morphisms in opposite direction:
h `ha` g `ha` f : _ `AR_` _
f `ho` g `ho` h : _ `AR_` _It works identically to yai, the only difference is a glyph appearance.