/Я language (β)/Operators/la/

Looks like a big dotted circle `li` with an empty small cirle `ha` designating contravariant position of colimit contents.

Parameters a, aa, aaa depend on objective. See examples at Sum, Opted, Maybe, List.

Available stretched versions: