| `About `Us -> "about:us"
| `About `Coercions -> "about:coercions?tred=true"
| `About `CoercionsFull -> "about:coercions"
| `About `Us -> "about:us"
| `About `Coercions -> "about:coercions?tred=true"
| `About `CoercionsFull -> "about:coercions"
| "about:us" -> `About `Us
| "about:coercions?tred=true" -> `About `Coercions
| "about:coercions" -> `About `CoercionsFull
| "about:us" -> `About `Us
| "about:coercions?tred=true" -> `About `Coercions
| "about:coercions" -> `About `CoercionsFull