option

inline fun <A> option(block: context(SingletonRaise<None>) () -> A): Option<A>