This also raises the question of whether or not there should be type predicates for channels & ports.