PartialOrder

cats

Pivot

Coyoneda

product

FreeInvariantMonoidal

pure

Free FreeApplicative FreeInvariantMonoidal FreeT