There's loads to respond to here, but let me just say > Everything leaks like a sieve. Not in my experience. I, for work, use 100% Haskell (well, and some SQL

There's loads to respond to here, but let me just say > Everything leaks like a sieve. Not in my experience. I, for work, use 100% Haskell (well, and some SQL) mainly to write web apps. Not "math space" problems by any means. We use and have written many abstractions. None of them are particularly leaky. Some of have implementations I don't thoroughly understand and yet have no trouble using anyways---I no no better way to demonstrate a lack of leaks than that.