Clarification on Explicit Typing in Effect Libraries - Effect Community