I work in Typescript, which is arguably the best mainstream language suited to type such things, and still. This is insane.