I'm interested in what you are doing with Poly. Can you share more?

I'm pretty fascinated by Poly and have done some work a while back on a poly type theory (amongst other poly projects).