sampleN :: Int -> Prob a -> [a] 
sampleN n = unsafePerformIO . fmap (take n) . runSamplerIO
sampleN :: Int -> Prob a -> [a]
sampleN n = unsafePerformIO . fmap (take n) . runSamplerIO
sampleN n = unsafePerformIO . fmap (take n) . runSamplerIO