Andrej Ivaskovic, Alan Mycroft: A graded Monad for deadlock-free concurrency (functional pearl). Haskell@ICFP 2020: 17-30