main :: IO ()
main = do
  quickCheck prop_IdemParseShow
  quickCheck prop_IdemParseShowStatement
main :: IO ()
main = do
  quickCheck prop_IdemParseShow
  quickCheck prop_IdemParseShowStatement
main = do
  quickCheck prop_IdemParseShow
  quickCheck prop_IdemParseShowStatement