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