Tagless final embedding provides a solution to the expression problem that also allows efficient code generation, thanks to multi-staged evaluation. It can, however, be a challenge to compose effectful language fragments in this embedding. In this paper, we propose a dependent tagless final embedding, that uses of dependent types to ease the composition of effects. We show that this extension preserves the multi-staging capabilities of tagless final and how it can help scope effects in domain-specific languages.