Defining types

[Marko van Eekelen]

>[I sent this before but got no response.]
>
>I was playing around and tried:
>
>:: Env a b :== [(a, b)]
>:: Member (Env a b) :== (a, b)
>

I am not sure what you want and why you want it?
I suppose you are not happy with

:: Env    a b :== [Member a b]
:: Member a b :== (a, b)

This is allowed ofcourse. 

I have the feeling that what you want is functions on types (is that the case?).
This would indeed be a significant extension...

Marko van Eekelen.