K-1 Typing