I love the idea of making things like automatic protocol conformance available outside of the compiler. I think the requirement of making the definition exist in a separate module will avoid some of the abuse you see with other macro systems.
3 Likes