[PartiallyTyped]

I am a big fan of Dr Rohin Francis, and this landed on my youtube's front-page recently

https://www.youtube.com/watch?v=FPsKTfFQFqc