Dropping with arguments ("higher RAII")

[pitaj]

Great idea. That can actually be made to work with post-mono errors:

Playground

Never mind that only works when the type isn't used at all.

This one works though