`Nothing` is for when a function will never return...

# stdlib

[Eugenio]

Nothing is for when a function will never return, like when it throws an exception every time, otherwise it will be Unit (like void in Java)