Interpretation, just how it deals with kinds as well as instances

Go to top