Algebras

Cop CopK

apply

Cop Inject InjectL CopK Inject InjectL LiftFreePartial Pos Pos