prop_mappend2 str = str `mappend` mempty == mempty `mappend` str
  where types = str :: ST
prop_mappend2 str = str `mappend` mempty == mempty `mappend` str
  where types = str :: ST
prop_mappend2 str = str `mappend` mempty == mempty `mappend` str
  where types = str :: ST