`prettyprinter-compat-ansi-wl-pprint ` is not quite a drop-in replacement as claimed

This was noticed in https://github.com/ekmett/ansi-wl-pprint/pull/32#issue-1712218860, but I've found some other incompatibilities:

- There's no `Pretty a => Pretty (Maybe a)` instance, which old code may rely on.
- We have `Doc = Doc AnsiStyle`, which means that any existing `Pretty` instances which use basic functions like [`text`](https://hackage.haskell.org/package/ansi-wl-pprint-1.0.2/docs/Text-PrettyPrint-ANSI-Leijen.html#v:text) no longer compile, since `prettyprinter`'s `pretty` has to be annotation-polymorphic.

These are not easily solved, so I think the README ought to just be clearer about the limitations.

This has caused issues for some `ansi-wl-pprint`-dependent packages, such as `tmp-postgres`.

Comienza con la sección del README que describe prettyprinter-compat-ansi-wl-pprint y compara sus afirmaciones de reemplazo drop-in con las incompatibilidades enumeradas aquí. Actualiza la documentación para explicar la falta de una instancia Pretty (Maybe a) y la limitación de la polimorfía de anotaciones; después, verifica que las limitaciones sean claras para los usuarios de paquetes que dependen de ansi-wl-pprint.

Escrito por el modelo de indexación a partir del texto del issue.