npat

    type Saveable interface {
        ...
    }

    func save(a Saveable) { .... }

    save(a);  // ok, assuming A is Saveable
    save(b);  // necessarily ok, given than A is Saveable