{-# LANGUAGE StandaloneKindSignatures #-}
module Internal where

import Data.Kind

type Prop :: Type
type Prop = Type