module examplefalse where

data Bool : Set where
  tt : Bool
  ff : Bool
  
data ⊥ : Set where


g : ⊥ -> Bool
g ()