7 ms·
You might as well say that `(a -> T b) -> T a -> T b` is extract followed by normal function application.
by thewakalix 5y ago
You might as well say that `(a -> T b) -> T a -> T b` is extract followed by normal function application.
- bradrn 5y agoHuh, interesting how we came up with nearly identical comments at the same time! (Though I somehow managed to get the function name wrong…)