Archived tweet #2102 from the @leastfixedpoint Twitter Archive

@liyanghu Roughly. Imagine it as the result of an RPC. NONE -> no reply yet. SOME NONE -> void reply. SOME (SOME x) -> x is the reply.