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

signature Shape where

import Data.Kind (Type)

data Shape :: Type
data Pair :: Type -> Type -> Type