I just published a 0.7.0 release of heterogeneous which supports the Variadic and VariadicWithIndex classes, which makes it fairly straightforward to define (pseudo) variadic functions as heterogeneous folds on arguments:
2 Likes