More type restriction spaces?