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