liquidhaskell-0.8.10.7: liquid-base/src/Data/Proxy.hs

module Data.Proxy (module Exports) where

import "base" Data.Proxy as Exports