Agda-2.3.2.2: test/succeed/UniversePolymorphicIO.flags

--compile --ghc-flag=-i..