Andreas Abel

Similarly, would `fst3` then be named `consumeSndAndThd3`?

> @andreasabel once suggested using a 0 multiplicity for something like this: `isJust` would have type `Maybe a %0 -> Bool` Er, this isn't how %0 works in Agda (or...

@oskeri, have a look at Arnaud's comment.

Maybe `$^` is still free (https://hoogle.haskell.org/?hoogle=%24%5E) and indicates some (upwards) movement `^` in connection with application `$`.

Where?

2.3 is broken, we are waiting for a patched version incorporating the following PR: - #121

@kozross : You could put out a new RC.

> but I believe that's a metadata change, so shouldn't require another release. If you mean "metadata" in the sense of hackage, I am afraid the CHANGELOG isn't part of...

Well done! > I started with `MonadAccum` for two reasons: it's one of the (currently only two) type classes provided by `mtl` which even states any laws, and of the...

Looks there was some effort to move to a more recent version of Agda, but it was reverted: - #697 - #701