Compile-time Traits powered by annotations in Android.