Issues with typing in Function.dual and their resolution - Effect Community