Synthesizing the Boring Parts With GHC: A Research Progress Report | Hacker News Reader