Agreed -- the thought in my head was simply that Paul, while well-intended, fails to understand functional (and category theory) concepts and that Option is bes

Agreed -- the thought in my head was simply that Paul, while well-intended, fails to understand functional (and category theory) concepts and that Option is best understood and used when treating it as a monad (which it is).