Tomoki Mizogami
Tomoki Mizogami
## 13.1 Haskell における自由モノイド
## 13.2 自由モノイドの普遍的な構造
## 13.3 チャレンジ一年生
```scala scala> id.fmap(_ + 1).asInstanceOf[Id[Int]].fmap(_ + 2) val res1: Int = 4 ```
```scala scala> val v = id.fmap(_ + 1) val v: Int = 2 scala> val v2 = v.fmap(_ + 2) 1 |val v2 = v.fmap(_ + 2) | ^^^^^^ |...
```scala scala> val v: Id[Int] = id.fmap(_ + 1) val v: hamcat.data.Id[Int] = 2 scala> val v2 = v.fmap(_ + 2) val v2: Int = 4 ```
```scala scala> val v: Id[Int] = id.fmap(_ + 1).fmap(_ + 2) 1 |val v: Id[Int] = id.fmap(_ + 1).fmap(_ + 2) | ^^^^^^^^^^^^^^^^^^^ | value fmap is not a member...
## 31.1 Bicategory
## 31.2 モナド
## 31.3 チャレンジ