Language: C++

import Control.Applicative
import Control.Monad
import Control.Monad.ST
import Data.Functor
import Data.Function
import Data.Monoid
import Data.Maybe
import Data.List
import qualified Data.Foldable as Foldable
import qualified Data.Set as Set
--import qualified Data.Sequence as Sequence
import Data.List.Split
import Data.Bits
import Data.Char
import Data.Ix
import Data.Ratio
import Data.Ord
import Data.Tuple
--import Data.Array
--import Data.Array.Unboxed
import Data.Array.IArray
import Data.Array.MArray
import Data.Array.IO
import Data.Array.ST
import Data.IORef
import Data.STRef
-- import System.IO.Unsafe

-- templete
readInt = read :: String -> Int
readInteger = read :: String -> Integer
readDouble = read :: String -> Double
getInt = readLn :: IO Int
getInts = map readInt . words <$> getLine
getInteger = readLn :: IO Integer
getIntegers = map readInteger . words <$> getLine
getDouble = readLn :: IO Double
sjoin :: (Show a) => [a] -> String
sjoin = unwords . map show
cond :: a -> a -> Bool -> a
cond t f c = if c then t else f
apply2 :: (a -> a -> b) -> [a] -> b
apply2 f [x,y] = f x y
apply3 :: (a -> a -> a -> b) -> [a] -> b
apply3 f [x,y,z] = f x y z
apply4 :: (a -> a -> a -> a -> b) -> [a] -> b
apply4 f [x,y,z,w] = f x y z w
fnTuple :: (a -> b, a -> c) -> a -> (b, c)
fnTuple (f,g) a = (f a, g a)
replace :: (Eq a) => a -> a -> [a] -> [a]
replace x y = map (\z -> if z==x then y else z)
binMap :: (a -> a -> b) -> [a] -> [b]
binMap f (x:xs@(y:_)) = f x y : binMap f xs
binMap _ _ = []
splitRec :: Int -> [a] -> [[a]]
splitRec _ [] = []
splitRec n xs = let (y,ys) = splitAt n xs in y : splitRec n ys
infixl 7 `divCeil`
divCeil :: Integral a => a -> a -> a
x `divCeil` y = (x+y-1) `div` y
-- templete

newUF n = newArray (0,n-1) (-1)

root uf i = do
  c <- readArray uf i
  if c==(-1) then return i else root uf c >>= writeArray uf i >> readArray uf i

same uf i j = (==) <$> root uf i <*> root uf j

unite uf i j = root uf i >>= writeArray uf j

kruskal n es = runST $ do
    uf <- newUF n :: ST s (STUArray s Int Int)
    cost <- newSTRef 0
    forM_ es $ \(c, (a, b)) -> do
      s <- same uf a b
      unless s $ do
          modifySTRef cost (+c)
          unite uf a b
    readSTRef cost

type Edge = (Int, (Int,Int))
edge a b cost = (cost, (a, b))

main = do
    [n, m] <- getInts
    when (n/=0 || m/=0) $ do
        es <- sort . map (apply3 edge) <$> replicateM m getInts
        print $ kruskal n es
        main


Compiler output:
a.cc:51:20: error: stray '\' in program
   51 | replace x y = map (\z -> if z==x then y else z)
      |                    ^
a.cc:53:15: error: stray '@' in program
   53 | binMap f (x:xs@(y:_)) = f x y : binMap f xs
      |               ^
a.cc:58:10: error: stray '`' in program
   58 | infixl 7 `divCeil`
      |          ^
a.cc:58:18: error: stray '`' in program
   58 | infixl 7 `divCeil`
      |                  ^
a.cc:60:3: error: stray '`' in program
   60 | x `divCeil` y = (x+y-1) `div` y
      |   ^
a.cc:60:11: error: stray '`' in program
   60 | x `divCeil` y = (x+y-1) `div` y
      |           ^
a.cc:60:25: error: stray '`' in program
   60 | x `divCeil` y = (x+y-1) `div` y
      |                         ^
a.cc:60:29: error: stray '`' in program
   60 | x `divCeil` y = (x+y-1) `div` y
      |                             ^
a.cc:76:16: error: stray '\' in program
   76 |     forM_ es $ \(c, (a, b)) -> do
      |                ^
a.cc:1:1: error: 'import' does not name a type
    1 | import Control.Applicative
      | ^~~~~~
a.cc:1:1: note: C++20 'import' only available with '-fmodules-ts'