https://123dok.net/document/y8g7n6kw-coalgebraic-aspects-of-bidirectional-computation.html