fn.py
fn.py copied to clipboard
Full(Empty) and Full(Full(something)) should be possible
nested options can arise in reasonable APIs.
Collapsing options can be done with a separately defined join operation.