@raggi certainly; it's not any more possible to say exactly what a type is than what a man is. but this was still insightful, and that was one of my goals!
@whitequark @raggi
What is a type? A miserable little pile of values!
(Sorry)
a Schelling point for those who seek one
