TCP is done via the IO monad and this is an excellent example of what the IO monad is used for---it forces you to realize that there's another layer of (this time quite leaky) abstraction over your potentially simple inner abstraction.