Title: Prediction-typing