process' (Free (Delete t k n)) = do c <- ask
                                    liftIO $ c </~ (t, k)
                                    process n
process' (Free (Delete t k n)) = do c <- ask
                                    liftIO $ c </~ (t, k)
                                    process n
process' (Free (Delete t k n)) = do c <- ask
                                    liftIO $ c </~ (t, k)
                                    process n