Added cotraverseD for a faster distribute.