Open July541 opened 1 year ago
I agree, it would be nice to refactor this stuff, it's very verbose and everywhere. I wonder if we should actually give plugins a proper monad to run in rather than Either String _
or whatever they currently have :thinking:
Either String _
is acceptable, but a new design monad may be more suitable for our application.
Currently, we have many use cases for
handleMaybeM
like the following, and it gradually being our regular mode of running action. I propose that can simplify it and just pass the action type itself. LikehandleMaybeM' TypeCheck nfp
to get the same effect ashandleMaybeM
.