prop_tconorm :: (Show a, Arbitrary a, Tconorm a) => (a -> a -> a) -> PropBox
prop_tconorm f = propGroup "t-conorm"
                      [ prop_monoid       0 f 
                      , prop_commutative    f      
                      , prop_monotonic      f  
                      , prop_annihilation 1 f 
                      ]
prop_tconorm :: (Show a, Arbitrary a, Tconorm a) => (a -> a -> a) -> PropBox
prop_tconorm f = propGroup "t-conorm"
                      [ prop_monoid       0 f 
                      , prop_commutative    f      
                      , prop_monotonic      f  
                      , prop_annihilation 1 f 
                      ]
prop_tconorm f = propGroup "t-conorm"
                      [ prop_monoid       0 f 
                      , prop_commutative    f      
                      , prop_monotonic      f  
                      , prop_annihilation 1 f 
                      ]