Documentation
propUpCommutative, propDnCommutative :: (Eq a, C a) => a -> a -> BoolSource
propUpAssociative, propDnAssociative :: (Eq a, C a) => a -> a -> a -> BoolSource
propUpDnDistributive, propDnUpDistributive :: (Eq a, C a) => a -> a -> a -> BoolSource