Instance channelTypeDescribable : describable channelType := {
  descriptorOf c := channelTypeDescribe c
}.
