More fun with static types