data Foo : Type where
  Bogus : Void

uhOh : Void
uhOh = Bogus