agda/test/Compiler/simple/UniversePolymorphicIO.hs

module UniversePolymorphicIO where

type AgdaIO a b = IO b