[]
L
L=[_]
L=[_,_|_]
L=[HL|TL]
P=L & S=[]
P=[HL] & S=TL
