There is a good Ph.D thesis. As for now it stands as a totally unjustified statement. Why is multiplicity in types more evil than multiplicity in states or procedures?
This is a totally arbitrary claim.
While learning, try to avoid “I think.” If you are convinced that your convictions are right and that DCI is wrong, then we would appreciate your help — but please substantiate your claims with data.
If you cannot or will not help us fix it, then it seems stupid to continue to pursue learning something you find distasteful, and maybe you should pursue some other line of learning.