Side note: we were thinking of renaming this to avoid the gratuitous name clash with the stdlib. But I can't remember the candidate name.