I remember a video in which Ludo demonstrated the store monad

Some others in which Ludo demonstrated some other things

Where are those videos ?

I don't remember where I found them