>>912
カプセル化・継承・多態性というお題目は、OOPにおいてクラスを用いて
抽象データ型が実現されている（その恩恵〜かつてはそう信じられていた〜として
継承による差分プログラミングや、付随して多態性もある）ということを言い表わしてるだけなので
OOPで可能な抽象化手法を列挙したものではないってのはＯＫ？
加えて、OOPにおいてクラスが単なる（SIMULAからの）借り物なのに対して、
抽象データ型を最初から視野においてよく練られたHaskellの型クラスが優秀なのは
あたりまえといえば当たり前。
Haskellはよく純粋な関数型と言われるけれど、OOPのように抽象データ型にクラスを使っていない
というだけで、言語としては関数型と抽象データ型のハイブリッド。

しいて言えば、クラスのように関数（メソッド）を型に内包する機構を使って
実現された抽象データ型の場合、関数型で好まれる関数を型の外に置く
抽象データ型（狭義の抽象データ型。CLUやAdaなんかもこの類）に比べて
型を追加する拡張が得意だし、その逆で後者は関数（その結果としてインターフェイス）を
増やす拡張が容易という程度の得手不得手はある。
http://www.cs.utexas.edu/~wcook/papers/OOPvsADT/CookOOPvsADT90.pdf