size-matching type