prop_Tconorm :: (Show a, Arbitrary a, Tconorm a) => T a -> PropBox
prop_Tconorm = prop_tconorm . tie
  where tie :: Tconorm a => T a -> (a -> a -> a)
        tie _ = snorm
prop_Tconorm :: (Show a, Arbitrary a, Tconorm a) => T a -> PropBox
prop_Tconorm = prop_tconorm . tie
  where tie :: Tconorm a => T a -> (a -> a -> a)
        tie _ = snorm
prop_Tconorm = prop_tconorm . tie
  where tie :: Tconorm a => T a -> (a -> a -> a)
        tie _ = snorm