Agda-2.3.2.2: test/fail/Imports/Bool.agda

module Imports.Bool where

data Bool : Set where
  true false : Bool