He claimed Dotty would be a smaller, less feature rich language, but when I read they kept

implicit

in, all I could do was shake my head.