tilia-0.1.2.0: corpora/vendored/signature/abstract-data-with-a-kind-out.hsig

signature Shape where

import Data.Kind (Type)

data Shape :: Type

data Pair :: Type -> Type -> Type