I consider it more of a "stopped clock" situation; I've found myself getting more and more disillusioned with Christians as I get older, but this is one thing I can agree on.
Was looking forward to this. I was trying to figure out the Scott encoding for data since the original untyped calculus post, so it's nice to see it treated here.