commenting on limitations of type inference with curry functions wrt to dropWhile2()