Blue Yeti is good (and not too expensive), but isn't it a bit overkill for voice typing?

If you generally feel like having a better microphone would help in other cases as well (Skype, vlog, what-have-you), then I'd agree with the above post.