Issue202.agda:8,31-36
Cannot instantiate the metavariable _1 to ℓ since universe
polymorphism is disabled
when checking that the expression Foo ℓ has type Set _1