module Random where

class RandomGen g where
   next  :: g  -> (Int, g)
   split :: g -> (g, g)

class Random a where
    randomR :: RandomGen g => (a, a) -> g -> (a, g)
    random  :: RandomGen g => g -> (a, g)

    randomRs :: RandomGen g => (a, a) -> g -> [a]
    randoms  :: RandomGen g => g -> [a]

    randomRIO :: (a,a) -> IO a
    randomIO  :: IO a