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

import Data.Type.Equality as Base