Convenient combinator-ish things and useful not-very-monadic stuff.