+{- Note [Make forever INLINABLE]
+
+If you say x = forever a
+you'll get x = a >> a >> a >> a >> ... etc ...
+and that can make a massive space leak (see Trac #5205)
+
+In some monads, where (>>) is expensive, this might be the right
+thing, but not in the IO monad. We want to specialise 'forever' for
+the IO monad, so that eta expansion happens and there's no space leak.
+To achieve this we must make forever INLINABLE, so that it'll get
+specialised at call sites.
+
+Still delicate, though, because it depends on optimisation. But there
+really is a space/time tradeoff here, and only optimisation reveals
+the "right" answer.
+-}
+