Add a coercion.
Make NaturalIsomorphism composable