Add notes about the Eval monad