tcStmt ret (ContinueStatement l) = tcStmtBlock l "continue statement" $ do
    let t = StmtType (Set.singleton StmtContinue)
    return (BreakStatement $ Typed l t,t)
tcStmt ret (ContinueStatement l) = tcStmtBlock l "continue statement" $ do
    let t = StmtType (Set.singleton StmtContinue)
    return (BreakStatement $ Typed l t,t)
tcStmt ret (ContinueStatement l) = tcStmtBlock l "continue statement" $ do
    let t = StmtType (Set.singleton StmtContinue)
    return (BreakStatement $ Typed l t,t)