I used to find separation logic confusing.

Then one day I went to Reading Terminal Market in Philadelphia. One of the grocers had a sign that said they sold "raw and pasteurized cheeses" and I suddenly understood the difference between the cartesian /\ and separating * conjunctions.

@maxsnew - so the takeaway is

monad:burrito::separation logic:cheese