Implicit 'forall' in data declarations
fischer at nii.ac.jp
Thu Oct 21 10:46:59 EDT 2010
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) -> ()
bar :: (forall . Ord a => a) -> ()
which it actually does.
More information about the Glasgow-haskell-users