small improvements (cnf corner cases, and handwritten traversals for Monad.Opt/Err/Fun