Should work: - [x] `List[A] => B => ((B, A) => B) => B` -> `foldLeft` - [ ] `List[A] => A => ((A, A) => A) => A` -> `foldLeft` - [x] `F[A] => B => ((B, A) => B) => B` -> `foldLeft`