Have a source for that paraphrasing of Felleisen and Sussman?<p>I don&#x27;t know about Sussman, but I&#x27;d be surprised to hear Felleisen say that. My extremely loose characterization of Felleisen&#x27;s view would be that the most important types are the ones in your head, which is not quite the same thing.