Hot: kr-typing