Latent Types

See LatentTyping.