module Data.Flag (Flag(Enable, Disable)) where

import           Data.Kind    (Type)
import           GHC.Generics (Generic)

type Flag :: Type -> Type
data Flag a = Disable a | Enable a
  deriving stock (Eq, Foldable, Functor, Generic, Ord, Show, Traversable)