Rebase.Data.Functor.Extend