Is the bottom type going to be usable?

[Paulo Levi]

Would be useful generally for instance for functions that diverge by design,
for instance just throw a assertion error + a cause.