Functional Pearl: The Proof Search Monad | Hacker News Reader