eliminators-0.9.1: tests/Internal.hs

module Internal where

import Data.Kind

type Prop :: Type
type Prop = Type