Formally spec Supply.(Channel|Promise)