新しく宣言した型を何らかの型クラスのインスタンスとして宣言するには，instance 宣言を使う。が，いくつかの型クラスに関してはもっと簡単な方法がある。data 宣言と一緒に deriving 修飾子を使うのがそれ。 次のようにすると，Cream 型を宣言すると同時に…

「入門Haskell―はじめて学ぶ関数型言語」 p.101 より。 ところで，あるリストに複数の型を含めたい場合にはどうしたらいいか，という話ですが，そういう場合にも data は便利です。たとえば次のように data MyType = I Int | F Float | C Char ここでたとえ…