Fix haddock markup in code example for coerce

This gets rendered incorrectly (see e.g. https://hackage.haskell.org/package/base-4.18.0.0/docs/Data-Coerce.html#v:coerce) because '@' has special meaning in haddock and needs to be escaped if we want to include literal occurrence of it in code example (as type application in this case).