[haskellandchill]

Then what is System F?

[invisiblerobot]

polymorphic typed lambda calculus.

it's the theoretical basis for ML and Haskell.

https://en.wikipedia.org/wiki/System_F

[invisiblerobot]

Oh I see, you were asking rhetorically :)

[haskellandchill]

Ha yes, I see it more as a candidate for a maxwell's equations of software engineering than the metacircular interpreter.