I beg to disagree. An old presentation by Simon Peyton-Jones (of GHC fame) has a line like that: "Linked list implementation is first year programming course t

I beg to disagree. An old presentation by Simon Peyton-Jones (of GHC fame) has a line like that: "Linked list implementation is first year programming course task; linked list implementation on multiprocessor is a PhD-level task; linked list implementation on multiprocessor using software transactional memory is again first year course task." SPJ actually teaches students and oversees PhD students so these are not vain words. STM greatly simplifies everything that is done in parallel, including, but not limited to, double linked lists. Rust "yells at you doing it wrong" because Rust does not know any better way. Effects would help expressing safe STM computations, and they are just coming into Rust, hesitantly. Let's see what will happen.