There is now a way to properly communicate the absence of the children prop at the TypeScript level: React.VFC (vs React.FC).
React.VFC aka React.VoidFunctionComponent does not allow children prop, the prop-types rule should derive the presence/absence of children from the underlying TypeScript types (when used with TypeScript).

Related: #7.