What got fouled up is all the adjustments I had to make to the other declarations.  

Can you complete the example so that it compiles using 

class Person p where ...

I'd very much like to see an example that actually compiles.

Thanks.

-- Russ 


On Tue, Dec 14, 2010 at 11:58 AM, Antoine Latter <aslatter@gmail.com> wrote:
On Tue, Dec 14, 2010 at 1:52 PM, Russ Abbott <russ.abbott@gmail.com> wrote:
> If gender is a field in a Person type, then a Person must have both an
> ovaryCondition and a prostateCondition.  That seems awkward.
> Regarding
>      class Person p where
> I started down that path but got completely fouled up.

How did this get fouled up? Every class declaration must take
arguments - here, 'p' is the argument for the class.

Thanks,
Antoine