PureScript 0.15 Row Polymorphism: Ambiguity in Record Field Selection
Goal Investigate how row‑polymorphic record selection in PureScript 0.15 can lead to ambiguous type errors when the same field label appears in multiple modules, and how this interacts with orphan instance handling introduced in 0.13. Constraints • Row‑polymorphic records rely on type‑class based field selection rather than name lookup. • Modules may export