add Ex12_1.hs