escape from existential quantification

[Nick Name]

On Thu, 27 Feb 2003 18:26:31 +0000
Keith Wansbrough <Keith.Wansbrough@cl.cam.ac.uk> wrote:

>=20
>  The idea is to use a type more like this:
>=20
>  data Foo =3D forall a. Foo Int a (a -> (Int,Bool)) (a -> Int) (a ->
>  Foo)
>=20
>  where the functions are the operations you want to use on the data

Or else one can use type classes:

-----
data Foo =3D forall a. Show a =3D> Foo a

instance Show Foo where=20
	show (Foo x) =3D show x

main =3D print [Foo 3,Foo "ciao"]
-----

Vincenzo

--=20
Mai pensato a cosa vuol dire 10 anni di embargo?
Si pu=F2 chiedere ad una popolazione ormai allo stremo di subire un'altra
guerra e magari un secondo embargo? Cosa c'entrano i bambini che muoiono
di fame, di radiazioni e di mancanza di medicine con i giochi di potere
di un dittatore? Che colpa ne portano?
Leggere per esempio: http://www.fulviopoglio.com/salvi1.htm