<@U5MPVGMQD> All types have a single bottom type t...
# arrow
r
@aeruhxi All types have a single bottom type that is
Nothing