test :: IO ()
test = do
    progs <- sample' (arbitrary :: Gen Program)
    let str = intercalate "\n\n" $ map (prettyShow . (\(Program d) -> d)) progs
    writeFile "randomPrograms" str
test :: IO ()
test = do
    progs <- sample' (arbitrary :: Gen Program)
    let str = intercalate "\n\n" $ map (prettyShow . (\(Program d) -> d)) progs
    writeFile "randomPrograms" str
test = do
    progs <- sample' (arbitrary :: Gen Program)
    let str = intercalate "\n\n" $ map (prettyShow . (\(Program d) -> d)) progs
    writeFile "randomPrograms" str