module ImportExample where

  data Bool : Set where
    false true : Bool