process' (Free (Update pk o n)) = do c <- ask
                                     liftIO $ c <~* (o, pk)
                                     process n

{- Insertion -}
process' (Free (Update pk o n)) = do c <- ask
                                     liftIO $ c <~* (o, pk)
                                     process n

{- Insertion -}
process' (Free (Update pk o n)) = do c <- ask
                                     liftIO $ c <~* (o, pk)
                                     process n

{- Insertion -}