See LatentTyping.