(TXT) More fun with static types