Current `main` is affected by https://github.com/clash-lang/ghc-typelits-extra/issues/68, which is fixed in `ghc-typelits-natnormalise`'s `master`.