The examples seem to rely on duck typing which is pretty cool, but can this work well with parameter type hints or will I just need to end up `Union`ing all inp

The examples seem to rely on duck typing which is pretty cool, but can this work well with parameter type hints or will I just need to end up `Union`ing all input param types, or will I need to get rid of type hints?