replaces theory article about folds with better one explaining the exact hangup with foldr