MAlonzo.Code.Agda.Builtin.IO
type AgdaIO a b = IO b Source #
type T_IO_8 a0 a1 = AgdaIO a0 a1 Source #
d_IO_8 ∷ a Source #