Dependent Inductive and Coinductive Types Through Dialgebras in