Notes on implicit continuations