> In the web development space we now have IHP, which is like rails but with type-safety. It's already the second largest haskell framework

Second to Yesod, I presume? How do you measure size, as in, what exactly is the quantity you measure, and how do you go about calculating/estimating that quantity?