export interface Subscription { type: "push", push: PushSubscriptionJSON, }