Combining Dependency, Grades, and Adjoint Logic. - Peter Hanukaev; Harley Eades III (TyDe@ICFP, 2023)