For the Typing Enthusiasts