-- | parse . showp is an identity function.
prop_showp_parse_id :: Term -> Bool
prop_showp_parse_id t = t == parseString (showp t)
prop_showp_parse_id :: Term -> Bool
prop_showp_parse_id t = t == parseString (showp t)
prop_showp_parse_id t = t == parseString (showp t)