Ie. Unit is just a normal singleton that happens to be inserted by the compiler, Nothing can be assigned to any other type and is returned by exception-throwing.