Re: [Haskell-cafe] Examples of Mutually Recursive Types

Think of any "real" programming language out there. For example, in many languages statements may contain expressions, and expressions in turn may contain statements (in Java through anonymous inner classes, for example).

... and as an example of this you could have a look at the haskell-src(-exts) package that encodes the Haskell syntax as an AST. For example there are expressions containing statements (e.g. the do-expression) and statements containing expressions (obviously). Cheers, /Niklas