I learnt today at work that the identity transducer is identity . Got me thinking how we might type check (ann-form identity (All [x] (Transducer x x)). I think my previous work on symbolic closures might help.

there's some fun examples of symbolic closures + transducers in my test repo eg., https://github.com/frenchy64/lti-model/blob/babc1b8c9b7298bb6102b3f7f78365b39327d833/test/lti_model/core_test.clj#L913-L915

man there are some crazy experiments in that repo