Title: An Approach to Type