how would one write the interface for Option? do w...
# arrow
j
how would one write the interface for Option? do we still use the Kind<F, A> trick?