create K Combinator and remove duplication in type manager