Miss Dada  🏳️‍⚧️

flat_map is like fold -- it's a complete friggin' mess because it's some super generic thing that obfuscates everything!

For Option, the adapter is called 0 or 1 time.

I think multiplicity is very significant for how we think of things. while/for/loop/if all exist and are useful to distinguish

I agree that first-class multiplicity is useful to have, but so is having an abstraction over it.

it's always nice to have an abstraction when you want it, but many abstractions are *completely friggin confusing*.

one should generally avoid applying unifying abstractions unless there's a compelling reason to. Not just because it exists.

Are you suggesting that monads don’t have a “compelling reason”? (Not that Rust has monads, naturally)

the only one I think I've heard was having a generic `(F . G) T => (G . F) T` (Vec<Option<T>> => Option<Vec<T>>) via @sgriff.