DOC: promote_types is _not_ associative by design, despite the fact it would be nice if it was
DOC: promote_types is _not_ associative by design, despite the fact it would be nice if it was

Also give an example of the non-associative case.

mattip/numpy,rgommers/numpy,endolith/numpy,seberg/numpy,simongibbons/numpy,ahaldane/numpy,WarrenWeckesser/numpy,Eric89GXL/numpy,madphysicist/numpy,jakirkham/numpy,jorisvandenbossche/numpy,anntzer/numpy,pdebuyl/numpy,charris/numpy,jorisvandenbossche/numpy,MSeifert04/numpy,simongibbons/numpy,abalkin/numpy,mhvk/numpy,gfyoung/numpy,gfyoung/numpy,charris/numpy,mattip/numpy,pizzathief/numpy,Eric89GXL/numpy,mhvk/numpy,shoyer/numpy,MSeifert04/numpy,numpy/numpy,endolith/numpy,ahaldane/numpy,abalkin/numpy,mhvk/numpy,pdebuyl/numpy,tynn/numpy,seberg/numpy,anntzer/numpy,abalkin/numpy,shoyer/numpy,rgommers/numpy,rgommers/numpy,ahaldane/numpy,endolith/numpy,tynn/numpy,jorisvandenbossche/numpy,mhvk/numpy,pbrod/numpy,madphysicist/numpy,pbrod/numpy,jorisvandenbossche/numpy,MSeifert04/numpy,simongibbons/numpy,pbrod/numpy,numpy/numpy,pizzathief/numpy,grlee77/numpy,pizzathief/numpy,simongibbons/numpy,pizzathief/numpy,MSeifert04/numpy,numpy/numpy,shoyer/numpy,charris/numpy,jakirkham/numpy,tynn/numpy,ahaldane/numpy,jakirkham/numpy,ahaldane/numpy,madphysicist/numpy,grlee77/numpy,madphysicist/numpy,mattip/numpy,WarrenWeckesser/numpy,jakirkham/numpy,grlee77/numpy,pbrod/numpy,charris/numpy,jorisvandenbossche/numpy,shoyer/numpy,grlee77/numpy,gfyoung/numpy,WarrenWeckesser/numpy,rgommers/numpy,MSeifert04/numpy,anntzer/numpy,madphysicist/numpy,numpy/numpy,mhvk/numpy,Eric89GXL/numpy,pdebuyl/numpy,mattip/numpy,pdebuyl/numpy,simongibbons/numpy,seberg/numpy,jakirkham/numpy,endolith/numpy,pbrod/numpy,shoyer/numpy,anntzer/numpy,Eric89GXL/numpy,WarrenWeckesser/numpy,seberg/numpy,pizzathief/numpy,grlee77/numpy,WarrenWeckesser/numpy