Typing Variations in The Systems