Agda-2.3.2.2: test/fail/CorrectPrintingOfVariablesInSortCheckingForData.err
CorrectPrintingOfVariablesInSortCheckingForData.agda:13,6-9 if y then Set else Set != Set of type Set₁ when checking the definition of foo
CorrectPrintingOfVariablesInSortCheckingForData.agda:13,6-9 if y then Set else Set != Set of type Set₁ when checking the definition of foo