Digging for fold: synthesis-aided API discovery for Haskell. - Michael B. James; Zheng Guo 003; Ziteng Wang; Shivani Doshi; Hila Peleg; Ranjit Jhala; Nadia Polikarpova (Proc. ACM Program. Lang., 2020)