Data.Isomorphism

data Iso k a b