MDausch/Foldr not found