Issue215.err

Issue215.agda:6,1-43
COMPILED_DATA directives must appear in the same module as their
corresponding datatype definition,
when checking the pragma COMPILED_DATA Bool Bool True False