does kotlin have the concept of forall in its type...
# arrow
j
does kotlin have the concept of forall in its type system?