module Issue215 where

open import Imports.Bool

{-# COMPILED_DATA Bool Bool True False #-}