extend-protocol より extend-type のほうがまとめられてきれいだな
indent fix
applicative の test を書く
最低限のテスト追加。
いろいろテスト追加。
対称性が欠如していた。
boolean に関するテスト。