Precedence: 9
`ha` - contr[A]variantYou 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_` _This operator has a H part since it represents contravariant position in a functor as if it was a Hom-functor.
Most of the time this operator works identically to yai.