Update Main.lhs