Small changes to TD3 and TD4

Author: smelc

slides/course-03.md

@@ -451,7 +451,7 @@ Let's combine functions:
 
 ---
 
-# `Applicative`
+# Applicative
 
 <!-- exdown-skip -->
 ```hs
@@ -473,7 +473,7 @@ Nothing
 
 ---
 
-# `Applicative`
+# Applicative
 
 <!-- exdown-skip -->
 ```hs
@@ -500,7 +500,7 @@ Just 3
 
 ---
 
-# `Applicative`
+# Applicative
 
 <!-- exdown-skip -->
 ```hs

slides/course-04.md

@@ -196,7 +196,7 @@ Typeclasses bear similarities with Java interfaces, but:
 - Typeclasses are more general because they support multiple type parameters
 
 ```hs
-class (MonadIO m) => MonadLogger m where
+class MonadIO m => MonadLogger m where
   log :: String -> m ()
 
 -- | Generic REST GET interface
@@ -491,7 +491,9 @@ data Authenticated
 -- @type@ defines aliases (shortcuts)
 type UserWithAuthStatus a = User
 
-authenticate' :: User -> String -> Either String (UserWithAuthStatus Authenticated)
+authenticate' :: User
+              -> String
+              -> Either String (UserWithAuthStatus Authenticated)
 authenticate' = undefined
 ```