If we scratch the surface of a language a bit we find a secret, rich world of type information. Our compilers know more about our