go back to inferring spec types from location