I can see a lot of applications of the info it exp...

# arrow

[raulraja]

I can see a lot of applications of the info it exposes as metaprogramming that can allow us to do a lot of powerful stuff, for example the typeclass derivation we've done it would be less than half of the size if it wasn't because of the proto boilerplate and intermediate classes we are using to represent what an inferred higherkind looks like or what a function type args and prijected typeargs should be.