from LLIRTrans remove `IO`, `MonadIO`