[]
M
M=[]
M=[_|_]
M=[HM|TM]
L=[]
