*以下の記事は 2018 年 2 月 に Qiita に投稿した記事の移植です* ブログにも投稿しています。 http://biacco42.hatenablog.com/entry/2020/03/31/214503 # TL;DR 結論から。 __型クラスはちょっとすごいオーバーロード__ であり __型に対して静的にメソッドを挿入する方法__ です。 この記事は - Haskell や 圏論等の難...