Implement static type narrower functionality