タイプを作る Maybeは「なし」と、ただのa タイプはタイプクラスが定義する条件をすべて満たせばタイプクラスのインスタントなる 新しいタイプを作ったら、タイプクラスにderivingすると、「継承」のようなことができるし 新しいタイプに、タイプクラスが要…