ちょっとお前ら教えてくれよ
>>33の続きなんだけど
①
genNRandom :: Int -> IO ()
genNRandom n = do
  g <- getStdGen
  let ns = take n (randoms g)
  putStr $ show (ns :: [Int])

②
genNRandom :: Int -> String
genNRandom n = do
  g <- getStdGen
  let ns = take n (randoms g)
  show (ns :: [Int])

③
genNRandom :: Int -> [Int]
genNRandom n = do
  g <- getStdGen
  take n (randoms g)

①はコンパイル通るけど②と③がダメなのはなんでなんだぜ？

で、
ttp://www.sampou.org/haskell/a-a-monads/html/laws.html#nowayout
読んでたらなんとなく分かった気がしたんだけど要するにIOモナドは1方向モナドで、値が取り出せないし、
IOモナド使ってる関数は返り値の型が絶対IO()とかになるから参照透明じゃないのが他の関数まで波及しないよって意味なのか？
じゃMaybeとかStateとかは使っても参照透明なままなのか？