Adventure with Types in Haskell - Simon Peyton Jones (Lecture 4)

Recorded at Oregon Programming Languages Summer School 2013. www.cs.uoregon.edu/research/s...
Lecture 1 Slides: www.cs.uoregon.edu/research/s...
System F in GHC: www.cs.uoregon.edu/research/s...
Kinds and GADTs: www.cs.uoregon.edu/research/s...
Type Inference: www.cs.uoregon.edu/research/s...
Fun with Type Functions: www.cs.uoregon.edu/research/s...

[@pdr.]

It'd also be pretty cool if you could add a constraint in an instance without having to explicitly mention it in the class declaration. That is, implicit constraints are created on the fly within the class.