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