Rebase.Data.Functor.Bind.Trans