let decode fmt x = F.e_app2 "decode" fmt x