a `default impl` need not include all items from the trait
    a `default impl` alone does not mean that a type implements the trait