Agda.Utils.IO
class
CatchIO
m