chromatic chromatic-at-wgz.org |Perl 6| wrote:
This is why roles-as-types is so important: type inferencers can't infer allomorphism because allomorphism relies on explicitly-marked semantic meanings.
What is your nomenclature here? "vary in sound without changing its meaning"?
What are marked semantic meanings? --John
