[Haskell-cafe] Cyclic Inclusions