Summaries for Channel and BoundChannel