let
encode fmt v = e_app2
"encode"
fmt v