{"image_url":null,"author_name":"yts","width":"100%","height":"190","blog_title":"One of the Eight Stones","author_url":"https://blog.hatena.ne.jp/yts/","blog_url":"https://yts.hatenadiary.org/","title":" Defaulting? ","provider_url":"https://hatena.blog","categories":["Haskell"],"published":"2004-12-06 00:00:01","url":"https://yts.hatenadiary.org/entry/20041206/p2","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyts.hatenadiary.org%2Fentry%2F20041206%2Fp2\" title=\" Defaulting?  - One of the Eight Stones\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","provider_name":"Hatena Blog","type":"rich","description":"\u4e0a\u8a18\u306eHyperset\u3092\u8a66\u3057\u3066\u3044\u3066\u767a\u898b\u3057\u305fGHCi\u306e\u6319\u52d5\u3002 *Hyperset> :t let x = singleton (Right x) in x let x = singleton (Right x) in x :: forall a. (Ord a) => Set a *Hyperset> let x = singleton (Right x) *Hyperset> :t x x :: Set Integer *Hyperset> let x :: Set Char; x = singleton (Right x) *Hyperset> :t x x :: Set Char","version":"1.0"}