Issues with typing in Function.dual and their resolution

I was trying to force more strictness to Function.dual and ended up "solving" a couple of issues I had with wrong typing of the data first impl. Take a look at this example:
image.png
Was this page helpful?