Oh got it.. Option<Nothing> is a subtype of ...
# arrow
a
Oh got it.. Option<Nothing> is a subtype of Option<Int>