Added implementation of Foldable[List]