JPMoresmau/BuildWrapper — pull request #9 by Oblosys (2012-07-30 17:38:56+00:00)
Title: Improved type reduction

Type reduction now handles multiple arguments, so hovering over `empty :: Map Char Int` shows the correct type `Map Char Int`, rather than `forall k a. Map k a Char Int`. The new reducer also removes class constraints without free variables so we don't get things like `Ord Char => Map Char Int` anymore.