Also this: https://2019.ecoop.org/details/ecoop-2019-papers/11/Automati... by Simon Peyton Jones