eliminators-0.5.1: tests/Internal.hs

module Internal where

import Data.Kind

type Prop = Type