Data.List: performance optimization on flatten()
Data.List: flatten(): more documented