I don't hate the fact that this is in a well-separated trait, but, currently, most default implementations are already done in Value. I think it might be more consistent.