:: Int -> IO a -> IO [a] package:monad-bayes