データの抽象化ってSICPの2章にあるAbstraction Barriersのことでしょ？
ttp://mitpress.mit.edu/sicp/full-text/book/book-Z-H-14.html#%_sec_2.1
実際のデータがどのように実装されているかに関わらず、
データを生成する関数、各要素にアクセスする関数さえ定義できれば
それよりも「高度な」関数(2次元ベクトルだったらaddとかmulとか)は
アクセッサ、生成子を用いて定義できるっていう話で合ってるよね？

>>557
ソース見せて欲しいです。メモリの使用率はどれが良かった？
一応、Wikiにこんなページがあることを。
http://www.haskell.org/haskellwiki/Performance