Why's this called `tpt`? Oh! And why's it `Any`?