Agda-2.3.2.2: test/fail/PositivityCheckNeedsLinearityCheck.err
PositivityCheckNeedsLinearityCheck.agda:17,13-16 Set₁ != Set₂ when checking that the expression Set has type Set₂
PositivityCheckNeedsLinearityCheck.agda:17,13-16 Set₁ != Set₂ when checking that the expression Set has type Set₂