Now that there is a default type w/ a name, why do we need this?