Technically, it would be valid because `Nothing` i...
# announcements
z
Technically, it would be valid because
Nothing
is a subtype of
Double
... but the program ceases to make sense.