made NetworkMailbox.Envelope not need the type argument