#これはなに
- Haskellの型システムのお勉強
- 型，型クラス，instanceの理解のためにとりあえず書いてみた
#わかったこと
- とりあえず思いついたことの通りに書いたけど動いた．抽象的な定義で動くのすごい
- 直積と直和
- 今回の例では型クラスを使う必要は(多分)無い．
- 型クラスを用いる時は「複数の型に対して共通の関数を使うとき」．H本のYesNoとか．
#次どうする
- 再帰構造とかで型を定義してみたい
- ちゃんとした場面で型クラスを使う
- Functorもできれば触りたい
- H本11章読む
- はよMonad勉強したい