On 7/24/2015 8:43 PM, Tofu Ninja wrote: > there is just a type at the top of the tree that > implements them all The one type that encompasses everything defeats the whole point of type checking, traits, concepts, etc.