Update Isomorphism.hs