Not Option<Nothing> per se but `Nothing : In...

# arrow

[raulraja]

Not Option<Nothing> per se but Nothing : Int. Option is covariant and accepts out A. Since here A is Int and Nothing: Int and object None : Option<Nothing> we can say that None is a valid typed value for Option<Int>.