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