I suppose I'm just very tired and accidentally read the title as "The Forever Monad" and got excited for a second. It took me a short while to figure out how wrong I was.

Anyway, I'd appreciate reading suggestions about the theory behind the "forever" function for monads (https://www.haskell.org/hoogle/?hoogle=forever).