@nire There's got to be a good joke about coinduction and confusion inductions to be made, I just don't know what it is.

Though... not knowing how to make it but knowing what to do with it is sort of already a coinduction joke.