Re: Implicit 'forall' in data declarations

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