only 0...1 superType