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