We only use typelevel-prelude for its re-exports. Instead, we now import
Prim stuff directly from Prim, and import Prelude stuff directly from
Prelude.
Dropping the dependency is the easiest way of dealing with the major
version bump of v5.0.0 of typelevel-prelude (which is necessary for
v0.13.0 of the compiler).
We only use typelevel-prelude for its re-exports. Instead, we now import Prim stuff directly from Prim, and import Prelude stuff directly from Prelude.
Dropping the dependency is the easiest way of dealing with the major version bump of v5.0.0 of typelevel-prelude (which is necessary for v0.13.0 of the compiler).