How to cast an explicit named lambda argument in kotlin mapping functions

Question

Given a functor of a generic Any type, how can I cast an explicity named argument? For instance, I have a JsonArray (vertx) that is essentially a type of