Pretty-printer for coercions.