`returns() implies (this@fix is Option<A>)` ...
# arrow-contributors
p
returns() implies (this@fix is Option<A>)
is that contract already available?