Generate type class constraints recursively and use them in a recursive function

Question

I am trying to define a function which gets some natural number n as input. Depending on this input the function should have different constraints. This const