Why not total?

gistfile1.txt

  mutual
  
  renameFuncCall : AnnFuncCall ParserAnn -> Renamer (AnnFuncCall RenamerAnn)
  renameFuncCall ((MkFuncCall x xs) .+. y) = [| [| MkFuncCall (renameIdentifier Func x) 
                                                     (traverse renameExpr xs) |] .+. [|y|] |]

  renameExpr : AnnExpr ParserAnn -> Renamer (AnnExpr RenamerAnn)
  renameExpr ((IntConst x) .+. y) = [| [| IntConst (renameIntConst x) |] .+. [|y|] |]
  renameExpr ((CharConst x) .+. y) = [| [| CharConst (renameCharConst x) |] .+. [|y|] |]
  renameExpr ((Lvalue x) .+. y) = [| [| Lvalue (renameLvalue x) |] .+. [|y|] |]
  renameExpr ((Paren x) .+. y) = [| [| Paren (renameExpr x) |] .+. [|y|] |]
  renameExpr ((FuncCall x) .+. y) = [| [| FuncCall (renameFuncCall x) |] .+. [|y|] |]
  renameExpr ((Plus x) .+. y) = [| [| Plus (renameExpr x) |] .+. [|y|] |]
  renameExpr ((Minus x) .+. y) = [| [| Minus (renameExpr x) |] .+. [|y|] |]
  renameExpr ((x :+: z) .+. y) = [| [| (renameExpr x) :+: (renameExpr z)|] .+. [|y|] |]
  renameExpr ((x :-: z) .+. y) = [| [| (renameExpr x) :-: (renameExpr z)|] .+. [|y|] |]
  renameExpr ((x :*: z) .+. y) = [| [| (renameExpr x) :*: (renameExpr z)|] .+. [|y|] |]
  renameExpr ((x :/: z) .+. y) =[| [| (renameExpr x) :/: (renameExpr z) |] .+. [|y|] |]
  renameExpr ((x :%: z) .+. y) =[| [| (renameExpr x) :%: (renameExpr z) |] .+. [|y|] |]
  renameExpr (True .+. y) = [| [|True|] .+. [|y|] |]
  renameExpr (False .+. y) = [| [|False|] .+. [|y|] |]
  renameExpr ((Not x) .+. y) = [| [| Not (renameExpr x) |] .+. [|y|] |]
  renameExpr ((x :&: z) .+. y) = [| [| (renameExpr x) :&: (renameExpr z) |] .+. [|y|] |]
  renameExpr ((x :|: z) .+. y) = [| [| (renameExpr x) :|: (renameExpr z) |] .+. [|y|] |]