{-# LANGUAGE NoImplicitPrelude, PackageImports #-}
module Data.Type.Coercion.Compat (
  module Base
) where

import "base-compat" Data.Type.Coercion.Compat as Base