change the structure of Cocomplete/Colimited to get the same benefits as
Ran/Lan/Composed