pure type