« first day (1198 days earlier)      last day (668 days later) » 

21:58
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 (*)
```
That is a contrived example but it comes up all the time if you want to add type signatures to your where clause
 
1 hour later…
23:16
@CallanMcGill very interesting!
23:39
Also, sometimes you don't want a forall to encompass the whole signature.
hoist :: (MFunctor t, Monad m) => (forall a. m a -> n a) -> t m b -> t n b
If that type were just (MFunctor t, Monad m) => (m a -> n a) -> t m b -> t n b, it would be possible to specialise the a in the function argument, which is unwanted: that function should remain polymorphic on a.
This is the sort of thing the RankNTypes extension enables.

« first day (1198 days earlier)      last day (668 days later) »