The final `T` doesn't add anything. It also moves the `HasText`
constraint _outside_ the typeclass definition.