Documented Bitraversable