since `throw` is of type `Nothing` it compiles
# getting-started
p
since
throw
is of type
Nothing
it compiles