Sure, nothing can replace a big community. OTOH, it looks like the Poster did have bad experience with Haskell community, though. A small community is superio

Sure, nothing can replace a big community. OTOH, it looks like the Poster did have bad experience with Haskell community, though. A small community is superior insofar as they are more motivated to help, and are more likely to take (critical) feedback into account. I think it is fair to say that the Frege community (currently about 6 more or less active contributors) does its best, judging from http://stackoverflow.com/questions/tagged/frege http://stackoverflow.com/questions/tagged/frege and https://groups.google.com/forum/#!forum/frege-programming-language https://groups.google.com/forum/#!forum/frege-programming-la... Of course, if someone demands, say, to implements GADTs or multi-param type classes by tomorrow, the answer will be gentle, but not affirmative.