Significant progress on Lam.hs.