Hi,
I would like to refactor a generic declaration in ceylon.promise and I’m not good enough in generics to achieve it by myself.
Here is the thing:
the Completable<Value> interface declares something that can be completed and Value satisfies Anything[]
the Term interface satisfies Completable and provide composability (and operation)
the Promise interface satisfies Term<Value, [Value]> : it is a Term of a single value
At the moment the Completable<Value> interface needs to declare the constraint that Value satisfies Anything[] in order to make the composability work.
Do you think that we could remove this constraint from the Completable and change somehow the Term to achieve that ?