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