The toy example is a microcosm of the important issue. The important issue is the use of monads in functional programming.

How is a discussion not productive just because it's not framed in the most formal language possible?