How do I know that this type