e.g., a bunch of combinators