module Control.Functor.Covariant.Exclusive (Exclusive (..)) where

import Control.Functor.Covariant.Alternative (Alternative)

class Alternative t => Exclusive t where
        exclusive :: t a