如何将Ceylon Sequential或数组转换为具有适当类型的通用元组？

我有一个泛型函数需要创建一个元组来调用一个函数,其参数我不知道它的类型.

像这样的东西(array在这个例子中除外是由一些外部代码创建的,所以我不能直接应用该函数):

Result apply(
    Anything[] array, 
    Callable fun)
        given Where satisfies Anything[] => nothing;

是否有一种类型安全的方法来实现此方法并使用给定的参数调用函数？