Why not cheat with an extra `types` ? Who needs type deduction when you can just pass the right types directly?
`decltype` with `types`. It seems unfair.