haskellを勉強してるけど、型言語やのに、抽象化はかなり強力やね。
抽象化が強力な言語って阿呆な人に使いこなせないから普及しにくいのかな。