Plugin module (finally!), Serial/InferFuture annotations