> the compiler will tell you if your LEGOs fit together, but not if you've built a knife instead of a fork. OK, let's stretch that metaphor a bit. A powerful

> the compiler will tell you if your LEGOs fit together, but not if you've built a knife instead of a fork. OK, let's stretch that metaphor a bit. A powerful type system like Haskell's is really a way of both restricting which LEGO(tm) pieces you can use and designing custom new ones. So when you design and write software in truly idiomatic Haskell, after getting all your types lined up there is no way to make anything other than a fork.