[COMPAT] Launch template argument deduction is easy to get wrong

[FMarno]

Is your feature request related to a problem? Please describe

When providing the function template parameter to syclcompat::launch, the template arguments are not deduced from the type of args. This can make it easy to get wrong, while also making the code more verbose. Here is an example issue: codeplaysoftware/cutlass-fork#276 (comment)

Describe the solution you would like

Find a way to deduce the template arguments for the F template parameter of syclcompat::launch and syclcompat::experimental::launch.

Describe alternatives you have considered

In the example above, @rolandschulz suggested converting the function to a functor struct with a templated operator(). Unfortunately, I can't see a way to create that class from function via template meta-programming.

Additional context

I believe the issue is that you can't pass an unspecialized function as a template parameter (could be wrong).