|
|
|
|
|
|
by solidsnack9000
562 days ago
|
|
|
A `monad` in Category Theory (which is where Haskell gets them from, ultimately) is a single-argument functor and two natural transformations, so there probably is a through-line here in terms of one-argument function-likes. |
|
|