fused-effects-1.1.2.7: src/Control/Effect/Empty/Internal.hs

{-# LANGUAGE GADTSyntax #-}
{-# LANGUAGE KindSignatures #-}
module Control.Effect.Empty.Internal
( Empty(..)
) where

import Data.Kind (Type)

-- | @since 1.0.0.0
data Empty (m :: Type -> Type) k where
  Empty :: Empty m a