My friend worked on this for his Msc thesis (2010-11). I went to his defence presentation but still couldn't figure out what these "things" are :-|
These and Monads will bite me forever.
These and Monads will bite me forever.
Here are 2 45mn videos you'll not regret: