SkipParametersInConstructorReification.agda:19,8-12
Bool !=< P {Bool} (c {_} {false}) of type Set
when checking that the expression true has type
P {Bool} (c {_} {false})