型クラス(type class)は異なるデータ型に共通する操作を定義する。 class SayHello a where sayHello :: a -> Stringその1 Person 型 data Person = Person { name :: String, msg :: String} deriving (Eq, Ord, Show)Person 型の SayHello インスタンス in…