[Haskell-cafe] Examples of Mutually Recursive Types