Currently we only have `Data.(Bool/Nat).Show`. We should probably use something like [`showsPrec`](https://hackage.haskell.org/package/base-4.11.1.0/docs/Prelude.html#v:showsPrec) to avoid introducing too many parentheses.
