let
mk_const f =
App
(f,[])