Should `mllist` be `MLList`

Stream: mathlib4

[Arien Malec]

Naming check on mllist - could argue for MLList, MlList, MLazyList?

[Mario Carneiro]

What's the M?

[Mario Carneiro]

This is presumably either MLList or LListM depending on whether the M is to indicate that it is a monad or that it is about a monad

[Arien Malec]

Lazy lists controlled by a monad.

[Arien Malec]

The non-monadic version is called lazylist -> LazyList

[Arien Malec]

Oh, it's unsafe so I probably shouldn't be touching it anyway.