GHC Haskell actually supports mutually recursive generic container types, but you must enable type class system extensions which make type checking undecidable.