Until I manage to find a way to get Indexed's [_] to indeed generate
an **implicit** universal quantification, it seems the combinators
will be more usable if the `n` is threaded explicitly. :/