Higher RAII and the seven arcane uses of linear types