@monoidmusician kinda!! those look like they are useful for patterns where you want to immediately drop the lock if you fail to convert. that's still possible without them, just a little uglier code-wise. type signature for projections is the same tho ya