@@ -547,7 +547,7 @@ pClass syn = do doc <- option "" (pDocComment '|')
547547 acc <- pAccessibility
548548 reserved "class"; fc <- pfc; cons <- pConstList syn; n_in <- pName
549549 let n = expandNS syn n_in
550− cs <- many1 carg
550+ cs <- many carg
551551 reserved "where"; openBlock
552552 ds <- many $ pFunDecl syn
553553 closeBlock
@@ -568,7 +568,7 @@ pInstance syn = do reserved "instance"; fc <- pfc
568568 return (Just n))
569569 cs <- pConstList syn
570570 cn <- pName
571− args <- many1 (pSimpleExpr syn)
571+ args <- many (pSimpleExpr syn)
572572 let sc = PApp fc (PRef fc cn) (map pexp args)
573573 let t = bindList (PPi constraint) (map (\x -> (MN 0 "c", x)) cs) sc
574574 reserved "where"; openBlock