|
|
|
|
|
|
by PartiallyTyped
1061 days ago
|
|
|
What’s a `type`? What is `t a`? How do I get `t a`? How does `t b` become `b` when I bind again? Where is `b` after I bind? What about the reader monad and the state monad? Those have different signatures, so what gives? |
|
|