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

import Data.Type.Equality