Odersky, et al.. Scoped Capabilities for Polymorphic Effects. 22 July 2022.