Polymorphic pick adts

Hey all,

I stated getting limbo failures when I tried add a pick structure to a
previously declared polymorphic adt. From a cursory look at the
compiler it looks like pick adt's can't be polymorphic. Am I right?

Noah