works (I think hang problem was in TCPMon proxy, not the haskell code).
works (I think hang problem was in TCPMon proxy, not the haskell code).

haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc,haroldcarr/learn-haskell-coq-ml-etc