Plus now that `box` is declared as a coercion, we get all the
embeddings Parser -> Box for free!

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. :/