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.
[ Parent
| on HN ]