eliminators-0.7: tests/Internal.hs

{-# LANGUAGE StandaloneKindSignatures #-}
module Internal where

import Data.Kind

type Prop :: Type
type Prop = Type