This should be correct. I am a bit concerned about the performance of the object mixin `...`, but I'll wait for stats.