Create Ismorphism.hs