Hey Eric, thanks a ton for this. I knew there was some relationship between HKT and monads, but hadn't taken the time to read into the literature. This explanation is exceedingly simple and clear. Thanks.
(and now I _really_ want HKT for Rust, but I understand why it won't happen immediately.) _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev