Traits as composable mix-ins