makes something like (on type-level):
>
>let a = ANY-TYPE
>in
> ... here `a` can occur and will be bound to ANY-TYPE
>
> Where am I right and where am I wrong? :)
>
> ===
> Best regards, Paul
> ___
> Beginners mailing
attachment was scrubbed...
URL:
<http://mail.haskell.org/pipermail/beginners/attachments/20171207/293a9bf7/attachment-0001.html>
--
Message: 2
Date: Thu, 7 Dec 2017 08:54:45 +0200
From: Michael Snoyman <mich...@snoyman.com>
To: The Haskell-Beginners Mailing
Send Beginners mailing list submissions to
beginners@haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
beginners-requ...@haskell.org
ch params are under "forall" in Haskell
> > > by-default. Seems
> > >it's not true?
> > > - in method body seems they are under "forall" but in simple
> > > functions - not?
> > > - i'm not sure what exactl