module Lib.Two where

open import Lib.Zero
open import Lib.One

data Two : Set where
  ff : Two
  tt : Two

not : Two → Two
not tt = ff
not ff = tt