data Foo : Type where
  Bogus : _|_

uhOh : _|_
uhOh = Bogus