If I ever want to use a type signature in a where clause then I need to turn on ScopedTypeVariables and use forall e.g.
```
fourthpower :: forall a . Num a => a -> a
fourthpower = square . square
where
square :: a -> a
square = join (*)
```
```
fourthpower :: forall a . Num a => a -> a
fourthpower = square . square
where
square :: a -> a
square = join (*)
```