[E]
R
R=[]
R=[_|_]
R=[HR|TR]
L=[E]
