Who cares about your super awesome Haskell library? You have meandered our of context. My response was in response to a defense of this particular implementation. If your abstraction sucks then I don't want it as it will cause me more headache than it is worth. That's the point.

EDIT: Eh... looking back at my original comment I don't think I got that across at all. It reads as more of a rant against a typed system in general, which is not what I intended.