constraints-emerge (hackage): This plugin allows you to write  where the 'Emerge (Show c)'  will automatically be discharged for any monomorphic c.  See test/EmergeSpec.hs for a few examples of what this plugin can do for you.
Keywords: constraints|library|mit