My original justification for the DiscordMonad polymorphism was to make it easier to test functions from IO or pure contexts. It has been proven in the year or so since its introduction that testing IO is simply quite difficult/painful/useless, and the extra polymorphism only adds to the complexity of the type signature of functions.
By removing the polymorphism from most functions, we can reason about the code with more convenience.
We keep only the ones that strictly need to be polymorphic, like sendQuiz which needs to be called in scheduled IO as well as in DiscordHandler.
Some parts of the code may be reverted in the future if necessary, but that is good since it will explicitly signify that the polymorphism is required for those functions.
My original justification for the DiscordMonad polymorphism was to make it easier to test functions from IO or pure contexts. It has been proven in the year or so since its introduction that testing IO is simply quite difficult/painful/useless, and the extra polymorphism only adds to the complexity of the type signature of functions.
By removing the polymorphism from most functions, we can reason about the code with more convenience. We keep only the ones that strictly need to be polymorphic, like
sendQuizwhich needs to be called in scheduled IO as well as in DiscordHandler.Some parts of the code may be reverted in the future if necessary, but that is good since it will explicitly signify that the polymorphism is required for those functions.