modified list type to λa.µL.((a*L)+1)