type-equality-1.0.1: src-hetero/Data/Type/Equality/Hetero.hs

{-# LANGUAGE TypeOperators       #-}
-- | This module shims kind heterogeneous propositional equality.
module Data.Type.Equality.Hetero (
    (:~~:)(..),
) where

import Data.Type.Equality ((:~~:)(..))