let Flag
    : ∀(x : Type) → Type
    = λ(x : Type) → < Disable : x | Enable : x >

in  Flag