tcStmts ret [s] = do
    (s',StmtType c) <- tcStmtBlock (loc s) "single statement" $ tcStmt ret s
    return ([s'],StmtType c)
tcStmts ret [s] = do
    (s',StmtType c) <- tcStmtBlock (loc s) "single statement" $ tcStmt ret s
    return ([s'],StmtType c)
tcStmts ret [s] = do
    (s',StmtType c) <- tcStmtBlock (loc s) "single statement" $ tcStmt ret s
    return ([s'],StmtType c)