module examplecolour where


data Bool : Set where
  tt : Bool
  ff : Bool

data Colour : Set where
  blue  : Colour
  red   : Colour
  green : Colour


is-red : Colour -> Bool
is-red red = tt
is-red _   = ff