Haskellの教科書とか、つまりどころ等

勉強するには、ターミナルやコマンドプロンプトでghciでやるのは、リアルタイムな構文チェック、型チェックが入らないのでおすすめしません。

map, fold, filter,〇〇By(sortByとかnubByとか)等の高階関数やzip、unzipみたいな筋のいい関数で書ける部分は極力書いておくと、GHC(Haskellのコンパイラ)が最適化してくれるという御利益があります。
一例はStream FusionとかRecyclingとかですね。Agdaみたいなのが発展すれば、それに応じて書いた関数が速度アップする見込みがあります。
また、mapやfoldは並列と直列に相当する概念で深いです。

Haskellはリストを駆使して色々やる類の言語です。関数型言語のルーツ？とされるLISP(LIST Processing)の系譜にあります。
リストに関する関数としては、まずはHackageのVectorのページに出てくる関数を覚えれば間違いないです。速度を気にするならListでなくVectorを使ってください。
Vectorパッケージには、toListやfromListなる関数があり、これでVectorとListの間での型変換ができます。List側にあるけどVector側にない関数や、そもそもVectorの要素をどう書くの？という問題が解決します。
前者の例としては、sortByみたいのは、fromList . sortBy . toListと書けます。vSortByとか適当に名前をつけておけば後で使いやすいです。
後者はvs = fromList [0 .. 100]とかです。これもよく使います。ただ、VectorとListでは定義されている関数の名前がかぶるので、
import qualified Data.Vector as Vなどとhsファイルの冒頭のインポート箇所に書いておいて、区別するのがいいです。Vector側の関数や型はV.と書かないといけませんよ、という意味です。そうなると、上のは、vSortBy = V.fromList . sortBy . V.toListとか、vs = V.fromList [0 .. 100]などと書くことになります。
リスト内包表記も、リストで書いておいてfromListで可能ですが、map, filter, concatMap idで同じことができますので、そちらをまず覚えたほうがいいです。

ポイントフリースタイルは、最初は触らなくていいです。

map length xss

も、最初のうちは

map (\xs -> length xs) xss

と書いたほうがラムダ式に早く慣れることができます。そもそも、ラムダ式で書いた方が引数の位置について自由で便利な気がします。flipやcurry, uncurryを多用する方が視認性が悪いと思います。例えば、

map  (flip div 2) [1 .. 10]
map  (\x -> div x 2) [1 .. 10]

のどちらと言われれば、私は後者の方が見やすいと思っています。
ワンライナーのラムダ式が冗長に感じられたら、

map f [1 .. 10]
  where
     f x = div x 2

と書くやり方もあります。where節はとても大事です。変数が有効になる範囲(スコープ)を留めてくれます。上の事例であれば変数はfになるのですが、where節の外側ではこのf x = div x 2という定義、関数は使えません。
なので別の箇所でf xs = length xsなどと定義しても問題なくなります。関数（上で言うとf）、を引数にとる高階関数（上で言うとmap）はwhere節とセットになることで力を発揮します。
使い捨ての関数を無名関数(λ式)だけでやろうとするのはきついですが、where節でいくらでも使い捨ての関数をスコープ付きで定義できます。
自分は最初はlet .. inだけでwhereを使ってませんでしたが、現在は上の便利さから極力whereを使って、letはdo構文でのみ使うスタイルになっています。
引数の部分適用もラムダ式とリストと組み合わせることで絶大な効果を発揮します。例えば、上の例で言うと、divの場合割る側と割られる側の2つの引数がありますが、以下のラムダ式で切り替えられます。

f xs = map (\x -> div x 2) [1 .. 10]
f xs = map (\x -> div 100 x) [1 .. 10]

ラムダ式で指定している変数（x）に穴が開いていて、そこにリストの各値を埋める各々出力する感じです。2つ穴を開けたければ、

f xs = map (\x -> map (\y -> div x y) [1 .. 100]) [1 .. 10]

などとやれます。これだとネストしたリストになるので、concatすれば一列のリストになります。

f xs = concat $ map (\x -> map (\y -> div x y) [1 .. 100]) [1 .. 10]

上記は有名なリスト内包表記で書けます。

f xs = [div x y | x <- [1 .. 100], y <- [1 .. 10]]

数学的に直感的に書けます。ただし、mapとconcat(要素を濾したい場合はfilterも)で代用できますので、そちらをまず覚えたほうがいいです。ネストしたリストが必要なときもあります（素朴な実装の場合の画像とかそうですね）。

また、関数を定義する際に、ひとまずundefinedで逃げておいて、型チェックだけはかかるようにする、というのも何気に重要なテクニックです。AgdaでいうところのHoleみたいなものです。
自分はundefinedを半年くらい気付かずに無駄な時間を使いました。
リアルタイムの型チェックを使っている場合は必須です。undefinedを書いておけばとりあえず何か書き終えたと型チェッカーが認識してくれて、更に、辻褄の合う形で周りの型を決めてくれます。

また、asパターンも大事です。$と同じでググりにくかったので簡単に触れます。xy@(x, y)=とか、\xy@(x, y) -> みたいなやつです。
where x = fst xyとか、fstとかsndを書くことが多くなって煩わしくなってきたら、こういうのがあったと思いだしてください。
asパターンと検索すると出てきます。自分は最初どう読むかわからず、調べるのに時間がかかりました。

$もググりにくい感じでした。length (xs + ys)みたいのをlength $ xs + ysと書けます。$の右側をlengthと切り離して右に押し出しているイメージです。
間違えやすいのは、map $ length $ xss + yssみたいにやってしまうことです。これはmap length $ xss + yssが正解です。
$をカッコで置き換えると、map (length (xss + yss))になりますが、これだとmapの第一引数が(length (xss + yss))、第二引数は存在しない感じになっています。
mapの第一引数は関数である必要があるのに(length (xss + yss))は関数でないので、コンパイラに怒られます。押し出していいのはlengthの右側のxss + yssのみです。

Haskellは純粋関数のみで副作用を許さない、書けない、みたいな評判がありますが、正確には純粋関数で書かれた部分と副作用（IOとか参照とか）を明示的に分ける、ように言語自体が誘導している、というのが正解だと思います。
分別しているだけです。更に分別しない書き方もできます。しかし分別しない場合は上のようなGHCによる最適化のご利益が得られないですし、
慣れていないと型エラーチェックで弾かれてなかなかコンパイルできない、という事態になります。
それで楽にやろうとすると自然と関数型プログラミングスタイルで書く（純粋関数でなるべく書こうとする）ハメになる、というのが自分の経験でした。

型理論の観点からすると、型コンストラクタと多相関数（polymorphicな関数）は名前は全然違っていますが、互いに関連のある概念であることが分かります。
以下、Termは関数や変数、Typeは型と読み替えてください。
(A) Type dependent on Type (型コンストラクタ)
(B) Term dependent on Type (多相関数)
(C) Term dependent on Term (高階関数)
(D) Type dependent on Term (??)
(A)型コンストラクタの例としてはMaybeなどです。Maybeは単体では型(Type)ではなく、引数として型(Type)をもらうことで型(Type)になります。例としてはMaybe Intとかです。
（B)多相関数（polymorphicな関数）としては例えば、

map :: (a -> b) -> [a] -> [b] 

の場合、mapはaとbという型（Type）について多相な関数(Term)となります。型としては、Int, Bool, Double, String .. などが挙げられます。
いずれもa, bの位置に代入できます（そういう関数とリストを用意できれば、です）。
（C)高階関数の例としては例えば、

filterInt :: (Int -> Bool) -> [Int] -> [Int] 

が挙げられます。
Int -> Boolという関数（Term）を引数にとる関数（Term）です。
では、
（D)？？は何に当たるかというと、依存型（Dependent type）なる概念に相当します。
依存型（Dependent type）の具体例としては、長さが100(これがterm)のリスト(これがType)などがあります。

このように型理論の観点だと、TermとTypeという概念から4通りの方向性が見えます。
Haskellは標準では（A）、（B）、（C)のみ対応のようですがAgdaはデフォルトで（D)も対応しています。Haskellはこのように、型理論の観点からすると、上記のTypeとTermについての関係について、一部が欠けています。
なので、型クラスとか多相関数とかの別の名前が付けられており、上のシンメトリックな関係性が見えず見通しが悪いです。
混乱したらラムダキューブを調べることをお勧めします。ただ、（D）はデメリット（型チェックが難しくなる）もあり、敢えて標準としては採用しない、となっているのかも知れません。
が、Agdaだと数学の定理を証明できたりとか、そちらはそちらで面白い感じです。

今回の記事はEmacs（Spacemacs）のOrgモードで書きました。こちらもいつかご紹介したいです。以下のような感じで構造化を意識し、色もついていてなおかつ折りたためます。
いずれ例のPDFリーダネタで本を書くための布石で勉強しています。