Several people, after reading the Eio tutorial, have asked for more details about what “capabilities” are (and why they should care). I couldn’t find an introduction aimed at functional programmers, so I had a go at writing my own:
Please let me know if anything is unclear!