{-# LANGUAGE NoImplicitPrelude, PackageImports #-} module Data.Proxy.Compat ( module Base ) where import "base-compat" Data.Proxy.Compat as Base