Restrict Shape.provenShape to only allow unpacked types in ProvenShape.
Restrict Shape.provenShape to only allow unpacked types in ProvenShape.

This was generally true by construction for actual instances of
ProvenShape, but it was not reflected in the implicit which creates
a Shape for a ProvenShape given a Shape of its contents.

knoldus/slick-1,mustajarvi/slick,jkutner/slick,dotta/slick,Asamsig/slick,nmartynenko/slick,nremond/slick,jkutner/slick,InsideVault/slick,bmclane/slick,easel/slick,mustajarvi/slick,nremond/slick,AtkinsChang/slick,lukasz-golebiewski/slick,nafg/slick,adamkozuch/slick,AtkinsChang/slick,Radsaggi/slick,xavier-fernandez/slick,xavier-fernandez/slick,nmartynenko/slick,dotta/slick,olivergg/slick,marko-asplund/slick,dvinokurov/slick,knoldus/slick-1,nremond/slick,easel/slick,nuodb/slick,seebcioo/slick,kwark/slick,trevorsibanda/slick,adamkozuch/slick,seebcioo/slick,Radsaggi/slick,lukasz-golebiewski/slick,InsideVault/slick,bmclane/slick,xavier-fernandez/slick,olivergg/slick