This is a bit tricky, but in a similar way where we allow functions to be returned by functions, this must also work for MillerLoopResult.
This is a bit tricky, but in a similar way where we allow functions to be returned by functions, this must also work for MillerLoopResult.