getArgs package:cauldron

Inspect ahead of time what types will be searched in the Beans map.
>>> :{
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))