tcStmt ret (AnnStatement l ann) = tcStmtBlock l "annotation statement" $ do
    (ann') <- mapM tcStmtAnn ann
    let t = StmtType $ Set.singleton $ StmtFallthru $ ComplexT Void
    return (AnnStatement (Typed l t) ann',t)
tcStmt ret (AnnStatement l ann) = tcStmtBlock l "annotation statement" $ do
    (ann') <- mapM tcStmtAnn ann
    let t = StmtType $ Set.singleton $ StmtFallthru $ ComplexT Void
    return (AnnStatement (Typed l t) ann',t)
tcStmt ret (AnnStatement l ann) = tcStmtBlock l "annotation statement" $ do
    (ann') <- mapM tcStmtAnn ann
    let t = StmtType $ Set.singleton $ StmtFallthru $ ComplexT Void
    return (AnnStatement (Typed l t) ann',t)