<@U0BTGLSE8>: But `Nothing` is a subtype of everyt...
# announcements
z
@danijoo: But
Nothing
is a subtype of everything so technically it is the type I say I will return.