@@ -78,17 +78,11 @@ desugarModule _ = error "Exports should have been elaborated in name desugaring"
7878-- \ return dict.foo;\
7979-- \}" :: forall a. (Foo a) => a -> a
8080--
81−-- :: String -> String
82−-- fooString = (\s -> s ++ s)
81+-- fooString :: {} -> Foo String
82+-- fooString _ = { foo: \s -> s ++ s }
8383--
84−-- __Test_Foo_string :: {} -> Foo String
85−-- __Test_Foo_string = { foo: __Test_Foo_string_foo :: String -> String (unchecked) }
86−--
87−-- __Test_Foo_array_foo :: forall a. (Foo a) => [a] -> [a]
88−-- __Test_Foo_array_foo _1 = map (foo _1)
89−--
90−-- __Test_Foo_array :: forall a. Foo a -> Foo [a]
91−-- __Test_Foo_array _1 = { foo: __Test_Foo_array_foo _1 :: [a] -> [a] (unchecked) }
84+-- fooArray :: forall a. (Foo a) => Foo [a]
85+-- fooArray = { foo: map foo }
9286--
9387desugarDecl :: ModuleName -> Declaration -> Desugar (Maybe DeclarationRef, [Declaration])
9488desugarDecl mn d@(TypeClassDeclaration name args members) = do