DataParameterPolarity.agda:25,14-15
a != b of type Bool
when checking that the expression x has type D b