module SubMod.FooBaz where

prop_additionCommutative :: Int -> Int -> Bool
prop_additionCommutative a b = a + b == b + a