If you want to define `foldLeft` on `WeakKind` and `fold` is kotlinlang #arrow-contributors

If you want to define `foldLeft` on `WeakKind` and...

simon.vergauwen

01/23/2018, 12:35 PM

If you want to define

foldLeft

WeakKind

and

fold

is defined on

Weak

then you would need to downcast.