Stateを追加
テスト内容を少し追加
Applicative用ユーティリティクラスと暗黙変換を追加