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