Rely on upstream package to supply typing and challenge-bypass-ristretto as
necessary.  Simplify our expression (approximately pointfree style) so we
don't have to know about any other arguments that might be passed or accepted.