let
some x =
Fol
.
Tapp
(
"Some"
, [x])