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.
Type reduction now handles multiple arguments, so hovering over
empty :: Map Char Intshows the correct typeMap Char Int, rather thanforall k a. Map k a Char Int. The new reducer also removes class constraints without free variables so we don't get things likeOrd Char => Map Char Intanymore.