let e_app2 f a b = F.unwrap (F.e_call f [F.wrap a;F.wrap b])