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