Create a single `dispatch` function that can replace the big `if` statements.

[Klafyvel]

Because we can't directly dispatch on kinds, there are big if statements at diverse places in the repo (see e.g. here). There could be a utility function that takes another function and its parameters and a kind as arguments and wrap the big if statement, linking all possible kinds to the corresponding strategy.