The signature offers only limited type safety because it can only check to the common ancestor of the inputs which in many cases will be

Any

.