[Haskell-cafe] Re: Existencial quantification and polymorphic datatypes (actually, components...)

Jake McArthur jake at pikewerks.com
Wed Jan 21 15:17:03 EST 2009


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Jonathan Cast wrote:
| I think you meant to quote the definition
|
| data SomeNum = forall a. SN a

Quite so. Thanks for clearing that up.

- - Jake
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iEYEARECAAYFAkl3gr8ACgkQye5hVyvIUKmiDgCfeH8fEn0+iDEMlQwtCHtMXAti
vSoAnAwYibedZTR1YyzrcC0OTspXsjMX
=Vagv
-----END PGP SIGNATURE-----


More information about the Haskell-Cafe mailing list