apply
Fun
Pos
Subst
Term
args
Fun
Term
Var