En esta clase se terminó de formalizar todo lo relacionado con tipado incluyendo:

• Inferencia de tipos
• Typeclasses

Y también vimos cómo Haskell aprovecha la ausencia de efecto para hacer magia sin que nos demos cuenta, ya que usa evaluación perezosa.