Title: Tower typing