Dependent Types in Haskell: Present and Futurehttps://www.youtube.com/watch?v=OZWYohmLKuU&feature=youtu.be by coolsunglasses • 12 years ago 8 0 12 years agoYOyoutube.com