Since `Nothing : Int` and `Option<out A>` is...
# arrow
r
Since
Nothing : Int
and
Option<out A>
is covariant you can use
Nothing
in place of the actual type.