scalaz
Set isomorphism is commutative
Natural isomorphism is commutative
Natural isomorphism is reflexive
Set isomorphism is reflexive