Agda-2.3.2.2: test/succeed/CompilingCoinduction.flags

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