Mixed up sub/super type determination