Starting work on Lam.hs.