Types are the Truth