Interesting decision to go for dynamic invoke. Does anyone know if the implementation is similar to that of LINQ in terms of using an AST? Would type erasure allow for composing lambda expressions?