Type 3 Algorithm to type-tied