Agda-2.3.2.2: test/succeed/UniversePolymorphicIO.hs

module UniversePolymorphicIO where

type AgdaIO a b = IO b