Added note on polyvariadic functions.
Add interpretation of Application and Show instance.