What's Inside Theory of Logical Types | tbr*a