Type hinting the View contract