I actually had in mind something else (code that just does TCP connections/HTTP requests and you run that against mirage / against a Linux stack and compare), but this sounds even better.
Someone could still do that comparison (not on the TCP state though, just the reply) with the functor approach.
