This looks … very nice. The only thing I“m worried about are compilation times (especially cargo check) given amount of type system , and context proc-macro (which is actually how I always wanted context to work).