Update lala.lhs