The most interesting part is this: ``` fun h(): Op...

# arrow-contributors

[raulraja]

The most interesting part is this:

fun h(): Option<Int> {
    val x : OptionOf<Int> = None
    val y = x
    return y
}

If you notice y can exit the function as a valid return type without having to call .fix() despite being typed to OptionOf<Int>.