Control.Isomorphism.Partial.TH
constructorIso
defineIsomorphisms