It appears the typechecker spits out one less error than it used to.