i might have a type after all