Parallel Prefix Polymorphism Permits Parallelization, Presentation and Proof | Hacker News Reader