You might as well say that `(a -> T b) -> T a -> T b` is *extract* followed by n... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

thewakalix on Oct 21, 2021 | parent | context | favorite | on: Functors, Applicatives, and Monads in Pictures (20...

You might as well say that `(a -> T b) -> T a -> T b` is extract followed by normal function application.

bradrn on Oct 21, 2021 [–]

Huh, interesting how we came up with nearly identical comments at the same time! (Though I somehow managed to get the function name wrong…)

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact