Improve pretty printing of coercion roles/arrows