Typing implemented