module exampleAtom where

data Bool : Set where
  tt : Bool
  ff : Bool


data ⊤ : Set where
  true : ⊤ 

data ⊥ : Set where

Atom : Bool -> Set
Atom tt = ⊤
Atom ff = ⊥