it seems like this would be easier to implement in Elixir in a very idiomatic fashion. There's a lot of compile-time effects that Elixir uses, one thing that I'm playing around with (in an OpenAPI library I'm working on) is having the OpenAPI `response` contract be enforced on exit in :test and :dev compilation modes but removed in :prod mode.