I want my 8-year-old daughter to learn how to type. What software/system would you recommend?

I think it is an important skill and I think she’s old enough now.

I have linux and os x machines at home, or I could run windows xp in a vm if I needed to.