`throw Exception()` is of type `Nothing` which is ...
# announcements
k
throw Exception()
is of type
Nothing
which is a subtype of eveything including
Exception
, which is why you can
throw
it