note about option monad and total evaluators