newtypes

[S.M.Kahrs]

Adding to Chris' enquiry:

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

...and we can (?) create values for them:

infy = A (1,infy)

onetwothree = B (Right(1,B(Right(2,B(Right(3,Left ()))))))

Stefan Kahrs