> that flipped upside down my accepted method of thinking about types and type system paradigms.

Could you please write where in the video is Rich talking about it?