Working on new benchmark sample and added polymorphic param union types