Comment by PartiallyTyped

This reads like a list of obvious things that we have been saying for the past 3 years.