> it is due to a lack of variadic type parameters To be pedantic, it is due to union types "not complemented anywhere else in Java's type system". Adding varia

> it is due to a lack of variadic type parameters To be pedantic, it is due to union types "not complemented anywhere else in Java's type system". Adding variadic type params is a way to solve this. Another way is, of course, to support union types. > with unused parameters being set to some subtype of RuntimeException Or the `Nothing` type (`never` in TypeScript), where `A | Nothing = A`.