> do e > this is a valid expression if e is a type that implements the Monad typeclass.

That is not necessary,

  do do do ()