the only way that works, imo is if the type check / coercion moves into the framework. Because you’d still need to check whether the result of the task is the type you requested