Leaking Netwire Program

WireTest.hs

module Main where

import Control.Wire

mkWire :: (Num b, HasTime t s, Show b, Monad m) => b -> Wire s () m a b
mkWire x = ((pure x) &&& (periodic 2) >>> Control.Wire.until) --> (mkWire (x + 1))

main :: IO ()
main = testWire clockSession_ (mkWire 3)

The semantics of this wire can be expressed better as:

mkWire x = pure x >>> (for 2) --> mkWire (x + 1)

However, I'd like to know why the wire that I've posted explodes w.r.t. memory.

This conundrum has been answered on Stack Overflow:

http://stackoverflow.com/questions/23714212/using-netwires-periodic-vs-at-wires/23715665?noredirect=1#comment36450791_23715665