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