Typing judgement for >>>