>>> :{ let beans = fromDynList [toDyn @Int 5, toDyn False] args = (,) <$> arg @Int <*> arg @Bool in (getArgsReps args, runArgs (taste beans) args) :} (fromList [Int,Bool],(5,False))