module Decidable
  ( -- * Decidable
    Decidable(..)
  , chosen
  , lost
  , contramany
  ) where

import Contravariant.Extras
import Data.Functor.Contravariant.Divisible