Small nitpick, the type of forever is actually: forever :: Monad m => m a -> m b Since it never returns a value, the resulting monadic action can be polymor

Small nitpick, the type of forever is actually: forever :: Monad m => m a -> m b Since it never returns a value, the resulting monadic action can be polymorphic in its return type.