Hola,
Está disponible el video de la segunda clase sobre el tema GADTs.
Adicionalmente están disponible las diapositivas utilizadas en clase y un archivo Haskell conteniendo las definiciones mostradas en clase y otras adicionales relacionadas con el tema.
Saludos,
Alberto.