In Haskell's standard IO module, bracket_ is defined to have type

IO a -> (a -> IO b) -> IO c -> IO c

However, in the Exception module in hslibs, bracket_ has type

IO a -> IO b -> IO c -> IO c

which IMHO is much less useful, not to mention confusing. Could this be considered a bug?

I don't have any objections to changing it, though I'm fairly sure I've used the Exception.bracket_ version in the past. It doesn't hurt to require that extra 'const' if you don't want the return value from the first argument though. Cheers, Simon