if it isn't already the right type, it looks for tasks that can compute the right type