This defines a MonadSelect and LiftingSelect, similar to MonadAccum and LiftingAccum. I'm not 100% confident on laws and effect descriptions, but this is the best I could come up with.
Completes all outstanding tasks in #86 to the best of my understanding.
This defines a
MonadSelect
andLiftingSelect
, similar toMonadAccum
andLiftingAccum
. I'm not 100% confident on laws and effect descriptions, but this is the best I could come up with.Completes all outstanding tasks in #86 to the best of my understanding.