For what I try to do in the moment it is extremely annoying that I cannot define mutually recursive records. Yes, I can emulate this with one constructor data types but I would really like to use fields and field selection directly. Is there any way to switch off this check which stops me from doing this? Cheers, Thorsten