The Thoralf plugin: for your fancy type needs. - Divesh Otwani; Richard A. Eisenberg (Haskell@ICFP, 2018)