4 ms·- type theory forall - arraycast - Eric Normand podcastby tluyben2 4y ago- type theory forall - arraycast - Eric Normand podcast