Title: Applied typing