Update Ismorphism.hs