Comment by ngruhn

I think using more descriptive type parameter names (instead of just T, K, F, …) already goes half way reducing the complexity.