Agda-2.3.2.2: test/fail/NonDependentConstructorType.err

NonDependentConstructorType.agda:8,7-11
Set → Wrap !=< Set of type Set₁
when checking that the expression wrap has type Set