PartialOrder

cats

Pivot

Coyoneda

prj

Inject

product

FreeInvariantMonoidal

pure

Free FreeApplicative FreeInvariantMonoidal FreeT