The first example with polynomials could be achieved using closures already. Type erasure on closure contexts seems unfortunate and fixing that seems like a bet

The first example with polynomials could be achieved using closures already. Type erasure on closure contexts seems unfortunate and fixing that seems like a better long term solution (granted it's probably far harder to solve). Was excited to see talk of ML though :)