( (let config (DataSource 'config)) (let res_sink (DataSink 'result)) (let data (Just (Just (String 'a)))) (let data (If (Bool 'true) data (String 'b))) (let world (Write! world res_sink (Key) data '('('type)))) (let world (Commit! world res_sink)) (return world) )