Agda.Interaction.Monad

type IM

readline

runIM