Generic latches, now as a header-only construct.