No, this isn't really a type function, we'll find a home for it later.