liquid-base-4.14.0.0: src/Data/Proxy.hs

module Data.Proxy (module Exports) where

import "base" Data.Proxy as Exports