base-compat-0.15.0: src/Data/Type/Equality/Compat.hs

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

import Data.Type.Equality as Base