data Bool : Set where
  true  : Bool
  false : Bool