G. Allais

Alright, I think this is approaching readiness. Sorry about the 3k+ LoC diff. :weary:

> flattening them before offering them to users is a much nicer interface In the standard library we systematically open the module associated to a nested record which means that...

Ah I see. I suppose we could also think about having smart constructors taking a `pure` and a `bind` and generating the whole `RawIMonad` record given that the rest can...

> In particular, using Cabal permits the use of [program-suffix](https://agda.readthedocs.io/en/v2.6.2.2/getting-started/installation.html#installing-multiple-versions-of-agda) to have multiple development versions installed at once. Looking at the Makefile (the default target is `install-bin`), there is already...

I've started working on this. I'm tempted to additionally drop the exotic unicode combinators for `Applicative` and `Alternative` in favour of their haskell counterparts.

Hmmm this is really annoying. In #636 I defined `MonadZero` and `MonadPlus` by combining `Monad` with `ApplicativeZero` and `Alternative` respectively. But now that `Monad` packs an `Applicative`, we have a...

> So we're pretty much stuck with that. Should we start collating a wishlist for stdlib 2.0? Edit: oh, we already have a milestone for that. :D

From the [submission guidelines](https://joss.readthedocs.io/en/latest/submitting.html): > As a rule of thumb, JOSS’ minimum allowable contribution should represent not less than three months of work for an individual. Some factors that may...

I'm assigning myself so that I have a chance of remembering it's an interesting goal to tackle during the upcoming AIM but feel free to pick it up and do...

Tomorrow is St Andrews' open day so I will unfortunately not be able to join. Nothing is assigned to me AFAIK so hopefully my absence won't be a problem! 😃