[Haskell-cafe] Re: mutually recursive types