[Haskell-cafe] Well-Typed Haskell courses now include a "Type System" course