не, эти прокси и хешкоды - это не то. я хочу странного - в мете прокидывать что-то типа описания типа и возможно что-то еще. затем вместо defn сделать другой макрос, который мне бы породил еще одну парную функцию, но которая работает на "метах" от своих обычных аргументов, т.е. я хочу кодить на типах, но не как в TS, а когда тип это просто некий хеш (мета)