The Importance of Dependent Types in Haskell

I sometimes warn students of this I mean I basically say that like look we are doing this now because there is going to be a better way later on. So one thing is on the way to dependent types so I'm old enough that I did some nested data types with polymorphic recursion to capture fancy shaping variants like balance trees and square matrices. And since I don't find a like nice way to transition to this I want to give you the chance before our time to actually talk about thisBecause you indicated before that you might have some things to complain about. Yeah, yeah, I'll go on so think complain about.