Fixed several bus in Lam.hs to pass compilation