Agda-2.3.2.2: test/fail/SkipParametersInConstructorReification.err
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})
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})