folds; figured out how to turn off annoying ghci warnings