Nested use of generic value is not supported

[tadeuzagallo]

Simple example:

apply<T, U>(value: T, fn: (A): U): U {
  fn(value)
}

print(apply(1, _(n: Int): String {
  "bar"
}))

The type checker can't figure the type of U in the lambda.