Building channels inside generics and quantified terms.