Upper bounds for #4550, #4551 and #4552
Upper bounds for #4550, #4551 and #4552

jonschoning/stackage,athanclark/stackage,simonmichael/stackage,fimad/stackage,spencerjanssen/stackage,Daniel-Diaz/stackage,wereHamster/stackage,int-index/stackage,massysett/stackage,soenkehahn/stackage,iand675/stackage,clinty/stackage,stackbuilders/stackage,mrkkrp/stackage,asr/stackage,michalkonecny/stackage,fpco/stackage,mstksg/stackage