Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu)