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

{-# LANGUAGE GADTs #-}
{-# LANGUAGE KindSignatures #-}
module Control.Effect.Choose.Internal
( Choose(..)
) where

import Data.Kind (Type)

-- | @since 1.0.0.0
data Choose (m :: Type -> Type) k where
  Choose :: Choose m Bool