Implicit 'forall' in data declarations

[Sebastian Fischer]

On Oct 21, 2010, at 11:14 PM, Sebastian Fischer wrote:

>    An implicit quantification point is
>      a) the type in a type signature f :: type or
>      b) a type of the form (context => type)
>    if it does not start with an explicit 'forall'

According to this explanation, the type

     bar :: forall . (Ord a => a) -> ()

means

     bar :: (forall . Ord a => a) -> ()

which it actually does.

Sebastian