liquidhaskell-0.8.10.7: liquid-base/src/Data/Type/Equality.hs

module Data.Type.Equality (module Exports) where

import "base" Data.Type.Equality as Exports