Agda.Utils.IO

class CatchIO m