let
decode fmt x = e_app2
"decode"
fmt x