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