So Let There be Type