{-# language PolyKinds #-}
{-# language RoleAnnotations #-}
{-# language StandaloneKindSignatures #-}

module Rel8.Aggregate where

import Data.Kind

type Aggregate :: k -> Type
type role Aggregate nominal
data Aggregate a