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

module Data.Type.Coercion (module Exports) where

import "base" Data.Type.Coercion as Exports