writer

ReaderM

CatchNonFatalOP CatchNonFatalOP

either EitherM Handler ErrorM Handler OptionM Handler reader ReaderM Handler state StateM Handler traverse TraverseM Handler validation ValidationM Handler writer WriterM Handler

ReaderM Handler To

WriterOP