Q: Should channels ever involve relaxed template arguments? A: No. Can't see a good reason for allowing channel type to vary within a higher dimension collection. This applies recursively to data-types which fall into the channel's type specification. Can processes every be involved in channel type? Probably not.