This is meant to improve on the JSX types supplied here https://github.com/DefinitelyTyped/DefinitelyTyped/blob/master/types/mithril/index.d.ts
It's cribbed from https://github.com/DefinitelyTyped/DefinitelyTyped/blob/master/types/react/index.d.ts