let
apply f v =
`
Apply
(make_id (
`
Of
(f,v)), f, v)