An attribute macro for easily writing extension trait pattern.