pocketberserker https://blog.hatena.ne.jp/pocketberserker/ pocketberserkerの爆走 https://pocketberserker.hatenablog.com/ Scala Haskell Gitterで質問したのでそのメモ*1。 なお私の英語は壊滅的なので片言？なのは許してください。 Hello. Why does Generic[Boolean] instance not exist? と投稿したところ、milessabinさん(shapeless作者)から Because there's no obvious sum of product representation of Boolean. I guess you would want false.type :+: true.type :+: CNil? と返答があった。なるほど。 @milessabin Thank yo… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fpocketberserker.hatenablog.com%2Fentry%2F2015%2F07%2F29%2F201110" title="&quot;なぜshapelessにはGeneric[Boolean]がないの？&quot;と尋ねてみた - pocketberserkerの爆走" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2015-07-29 20:11:10 rich https://pocketberserker.hatenablog.com/entry/2015/07/29/201110 1.0 100%