More debug utils, and higher order combinators