pseudo-types