module ImportExample where

data Bool : Set where
  false true : Bool