Prelude.Linear.Internal.TypeEq

As of GHC 9.4, ~ is a type operator exported from Equality rather than a language construct. As a temporary workaround to enable compilation on both GHC 9.4 and 9.2, this module is empty, while the GHC 9.4 version re-exports the new type operator. As a result, files which depend on this module will likely have -Wno-unused-imports enabled (and potentially also -Wno-dodgy exports if they re-export it). These should be removed once support for GHC 9.2 is dropped.