1 2 3 4 5
and app (f : value) (arg : value) : value = match f with | Neu nv -> Neu nv | FunLit clos -> inst clos arg