TEXT More fun with static types