@fumanchu "Types, not typing" would be an interesting thing to put on a T-shirt I think.