typeside t schema s : t schema_colimit sc : {} ---------------------------------- mapping (getMapping coproduct s : t s) : s -> getSchema coproduct s : t