This talk is my slightly expanded version of that statement, and should hopefully understand what "Free" is, what purpose it serves and where it came from.
Listen to a story of how we have dealt with 201 obstacles allowing us to run multithreaded programs natively!
This talk aims to equip the audience with the minimum required bagage to get comfortable working with contravariance.