@@ -238,7 +238,7 @@ entails moduleName context goal@(className, ty) = do
238 return $ Just dict
238 return $ Just dict
239 mkDictionary :: Qualified Ident -> Maybe [Value] -> Value
239 mkDictionary :: Qualified Ident -> Maybe [Value] -> Value
240 mkDictionary fnName Nothing = Var fnName
240 mkDictionary fnName Nothing = Var fnName
241− mkDictionary fnName (Just dicts) = foldr (flip App) (Var fnName) dicts
241+ mkDictionary fnName (Just dicts) = foldl App (Var fnName) dicts
242 filterModule :: TypeClassDictionaryInScope -> Bool
242 filterModule :: TypeClassDictionaryInScope -> Bool
243 filterModule (TypeClassDictionaryInScope { tcdName = Qualified (Just mn) _ }) | mn == moduleName = True
243 filterModule (TypeClassDictionaryInScope { tcdName = Qualified (Just mn) _ }) | mn == moduleName = True
244 filterModule (TypeClassDictionaryInScope { tcdName = Qualified Nothing _ }) = True
244 filterModule (TypeClassDictionaryInScope { tcdName = Qualified Nothing _ }) = True