/Category/Monoidal/Instance/Cospans/
../
Lift.agda