Oh, I'm terrible at this. I think your second option sounds better. Hmm. If we look at some of the existing tests as models (I'm thinking the ones like `ReturnsLazily_with_4_arguments_should_support_overloads`), we might come up with something like  
`ReturnsLazily_with_task_of_t_return_type_should_support_func_of_t_valueProducer`.  
It's not particularly pretty, but I think it spells it out…

Thoughts?