Re: newtypes

[Sengan]

"S.M.Kahrs" wrote:
> 
> newtype Inftype b = A (b,Inftype)
> newtype Alist a = B (Either () (a,Alist a))
> 
> infy = A (1,infy)
> onetwothree = B (Right(1,B(Right(2,B(Right(3,Left ()))))))


The following works with hugs.

> newtype Inftype b = A (b,Inftype b)
> newtype Alist a = B (Either () (a,Alist a))

> infy = A (1,infy)
> onetwothree = B (Right(1,B(Right(2,B(Right(3,B(Left ())))))))