Revenge of the Types