@@ -1023,9 +1023,7 @@ elabInstance info syn fc cs n ps t expn ds
10231023 logLvl 3 $ "Method types " ++ showSep "\n" (map (showDeclImp True . mkTyDecl) mtys)
10241024 logLvl 3 $ "Instance is " ++ show ps ++ " implicits " ++
10251025 show (concat (nub wparams))
1026− let lhs = case concat (nub wparams) of
1027− _ -> PRef fc iname
1028− as -> PApp fc (PRef fc iname) as
1026+ let lhs = PRef fc iname
10291027 let rhs = PApp fc (PRef fc (instanceName ci))
10301028 (map (pexp . mkMethApp) mtys)
10311029 let idecls = [PClauses fc [Inlinable, TCGen] iname