ウォークスルー Haskell
「型クラス」など、Haskellに出てくる用語を検索していたら、分かりやすい説明がありました。
1. 型クラスとは
型クラス（type class）は，データ型をカテゴライズする役割を持つ概念です． 例えば，数値型全般を表す Num という型クラスは，数値型全般を表します． Num 型クラスの インスタンス（instance）は，具体的な数値型である Int や Double などです．
「型クラス」＝型の集合と考えたら、スッキリしました。
他のHaskell説明記事も読んでみたら、とても分かりやすくまとめてありました。
後でじっくりと読んでみたいと思います。
有益な情報提供、どうもありがとうございます。m(__)m
