{-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE Trustworthy #-} module Data.Type.Equality.Compat ( module Base ) where import Data.Type.Equality as Base