NotApplyingInDontCareTriggersInternalError.agda:49,60-73
Variable leftRefl is declared irrelevant, so it cannot be used here
when inferring the type of leftRefl a≼a'