port Categories.NaturalIsomorphism to Agda-2.3.3
port Categories.Object.BinaryMorphisms to Agda-2.3.3
port Categories.Monoidal.Cartesian to Agda-2.3.3