[Martijn]

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.