`Nothing` is a subtype of all types
# getting-started
y
Nothing
is a subtype of all types