News for hackers. Stuff that matters.
Re:Functors, Applicatives, and Monads in Pictures (2013) by thewakalix on Thursday October 21, 2021 @09:49AM (#28944323)
You might as well say that `(a -> T b) -> T a -> T b` is extract followed by normal function application.
Re:Functors, Applicatives, and Monads in Pictures (2013) by bradrn on Thursday October 21, 2021 @09:53AM (#28944395)
Huh, interesting how we came up with nearly identical comments at the same time! (Though I somehow managed to get the function name wrong…)