nishiohirokazu https://blog.hatena.ne.jp/nishiohirokazu/ 西尾泰和のはてなダイアリー https://nishiohirokazu.hatenadiary.org/ Haskell なんでこれがエラーになるのかわからないのは、まだなにか理解出来ていことがあるってことなんだろうな。 class Foo a where foobar :: (Bar b) => a -> b class Bar a newtype AFoo = MakeAFoo {foo_value :: Int} newtype ABar = MakeABar {bar_value :: Int} instance Foo AFoo where foobar x = MakeABar $ foo_value x instance Bar ABar Couldn't match expected type `… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnishiohirokazu.hatenadiary.org%2Fentry%2F20100517%2F1274105783" title=" ... is a rigid type variable bound by ... - 西尾泰和のはてなダイアリー" 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 2010-05-17 23:16:23 rich https://nishiohirokazu.hatenadiary.org/entry/20100517/1274105783 1.0 100%