<@U2E974ELT> that sounds super sweet, you're essen...

# functional

[Eugenio]

@elizarov that sounds super sweet, you're essentially almost bringing in Swift protocols! This won't work dynamically at runtime though, right? Like you won't be able to say x is Semigroup in a non-reified context?