Type validator