(
(let c (Cons! world (String 'a)))
(let world (Left! c))
(return world)
)