Synthesizing the Boring Parts With GHC: A Research Progress Report
micahcantor.com