let pp p fmt (f, al) = 
    Pretty.apply p fmt (to_string f, al)