let
empty () = from (const
None
)