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

import Control.Functor.Covariant.Alternative (Alternative)

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