added bitraversable examples