Edit requests of 【Haskell や圏論が出てこない】Scala で型クラスを完全に理解した話