let
p_call f xs =
Fol
.p_app f xs