converted Main.hs to a literate style (.lhs)