add Ex12_2.hs