Iso, Cocartesian, Lens, Prism, refactored Terminal and Initial