This site is still a work-in-progress, thank you for your understanding.

FIXME: Common typeclasses

Section exercises:

- Write the
`foldMapM`

helper function - Implement the
`Validation`

`Applicative`

- Why isn’t it a
`Monad`

?

- Why isn’t it a

- Not going to cover these in depth
- Great resource on this: typeclassopedia

`Applicative`

wasn’t a superclass of`Monad`

in the past`Semigroup`

wasn’t a superclass of`Monoid`

in the past- Some unnecessary functions still lying around
- Sometimes functions aren’t as general as we wish

- “Mappable”
- Provides
`fmap :: (a -> b) -> (f a -> f b)`

- Laws
`fmap id == id`

`fmap (g . h) == fmap g . fmap h`

- Cool fact: only one possible valid instance per type
- Can be derived automatically
- Covariant functor (contravariant also exists)
- See: https://www.fpcomplete.com/blog/2016/11/covariance-contravariance

Provides:

```
pure :: a -> f a
(<*>) :: f (a -> b) -> f a -> f b
```

Compare:

```
fmap :: (a -> b) -> f a -> f b
(<*>) :: f (a -> b) -> f a -> f b
```

Also note that you can define `fmap`

using `Applicative`

```
fmap g x = pure g <*> x
```

Laws:

`pure id <*> x == x`

`pure f <*> pure x == pure (f x)`

`u <*> pure y == pure ($ y) <*> u`

`u <*> (v <*> w) = pure (.) <*> u <*> v <*> w`

Provides:

```
(>>=) :: m a -> (a -> m b) -> m b
```

Or flipped:

```
(=<<) :: (a -> m b) -> m a -> m b
```

Compare:

```
fmap :: (a -> b) -> f a -> f b
(<*>) :: f (a -> b) -> f a -> f b
(=<<) :: (a -> m b) -> m a -> m b
```

Laws:

`pure a >>= f == f a`

`m >>= pure == m`

`m >>= (\x -> f x >>= g) == (m >>= f) >>= g`

And we can define:

```
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> (a -> m c)
```

And then restate these laws as:

```
f <=< pure == f
pure <=< f == f
(h <=< g) <=< f == h <=< (g <=< f)
```

Which are the same as the category laws:

```
f . id == f
id . f == f
(h . g) . f == h . (g . f)
```

Defines a binary, associative operator

```
(<>) :: a -> a -> a
```

Law

```
(x <> y) <> z == x <> (y <> z)
```

Adds an identity to `Semigroup`

```
mempty :: a
```

Laws are the same again as `Monad`

and categories!

```
x <> mempty == x
mempty <> x == x
(x <> y) <> z == x <> (y <> z)
```

- “I can be turned into a list” but more efficient in some cases.
`foldMap :: Monoid m => (a -> m) -> f a -> m`

- Can be derived automatically
- No actual laws yet
- Could define a
`Vector`

that folds left-to-right or right-to-left `length`

of tuples and other things considered surprising/wrong by many

- “Map with effects”
- Generalizes
`mapM`

`traverse`

==`mapM`

, but works for`Applicative`

`for`

==`forM`

, but for`Applicative`

See start of section