{-# OPTIONS -XEmptyDataDecls #-}
module NET.System.Collections.ICollection.Type ( module NET.System.Collections.ICollection.Type ) where

import qualified NET
import qualified NET.System.Object
import qualified NET.System.Collections.IEnumerable.Type as NET.System.Collections.IEnumerable

instance NET.System.Collections.IEnumerable.IEnumerable (ICollection_ a) where
  instanceName_IEnumerable _ = "NET.System.Collections.ICollection.ICollection"

class ICollection a where 
  instanceName_ICollection :: a -> String

data ICollection_ a