M math.andrej.com Seemingly impossible functional programs (2007) 191 points federicoponzi 5 years ago 45 comments