Isomorphisms changed to first class types, own compositions.