pub fn map_w_default<S, F>(s: S, f: F) -> Map<S, F, ConstTrue>where
S: Borrowable<Borrowed: HibitTree<DefaultData: IsConstTrue>>,
for<'a, 'b> F: UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::Data> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataUnchecked> + UnaryFunction<<S::Borrowed as HibitTreeTypes<'a>>::DataOrDefault> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::Data> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataUnchecked> + UnaryFunction<<<S::Borrowed as HibitTreeTypes<'a>>::Cursor as HibitTreeCursorTypes<'b>>::DataOrDefault>,