module Rebase.Data.Type.Equality ( module Data.Type.Equality ) where import Data.Type.Equality