Как сделать чтобы монада Writer ничего не делала

data TSegment = 
        --прямой отрезок
        TLine Double Double
        -- дуга (x, y центра, радиус, угол начала, угол конца, направление)
    |   TArc Double Double Double Double Double Direction 
        --прерывание траектории, при это фреза должна подняться на указанную высоту и уехать на другое место
    |   TJump Double
    deriving (Show)
 
type Trajectory = [TSegment]
 
type CNC = Writer [Command] Command
 
data Position = X Double | Y Double | Z Double
--команды ЧПУ
data Command =G0 [Position] | G1 [Position] | G2 [Position] | G3 [Position] | F Double | Null
write f = writer (aa, [aa]) where aa = f
--быстрое перемещение
g0 :: [Position] -> CNC
g0 l = write $ G0 l
 
--переводим траектория в G-код
trajectory2GCode :: Trajectory -> Double -> CNC
trajectory2GCode (TLine x y : xs) z = do
    g1 [X x, Y y]
    trajectory2GCode xs z
 
trajectory2GCode (TArc x y r a1 a2 CW : xs) z = do --дуга по часовой
    g2 [X x, Y y, I 1, J 2]
    trajectory2GCode xs z
 
trajectory2GCode (TArc x y r a1 a2 CCW : xs) z = do --дуга против часовой
    g3 [X x, Y y, I 3, J 4]
    trajectory2GCode xs z
 
trajectory2GCode (TJump safeZ: xs) z = do --прыжок в другое место
    g0 [Z safeZ]
    g0 [X sx, Y sx]
    g1 [Z z]
    trajectory2GCode xs z
    where 
        (sx, sy) = getFirstPosition xs
 
trajectory2GCode [] _ = write $ Null --закончился список

return ()

trajectory2GCode [] _ = return ()

data Position = 
        X Double
    |   Y Double
    |   Z Double
    |   I Double
    |   J Double
 
-- команды
data Command =
        G0 [Position]
 
type CNC = Writer [Command] ()
 
g0 :: [Position] -> CNC
g0 l = tell $ G0 l
 
export f = 
    mapM_ (putStrLn.show) y
    where (_, y) = runWriter f
 
ff = do
    g0 [X 12]
 
main = do
    putStrLn $ show ff

import Control.Monad.Writer
 
newtype CNC = Writer [Int]
 
f :: CNC
f = do
    tell 1
    tell 2
 
export :: CNC -> IO ()
export f = 
    mapM_ (putStrLn.show) y
    where (_, y) = runWriter f
 
main = do
    export f
    putStrLn "test"

import Control.Monad.Writer
 
type CNC = Writer [Int] (Int)
 
f :: CNC
f = do
    writer (1, [1])
    writer (1, [2])
 
export :: CNC -> IO ()
export f = 
    mapM_ (putStrLn.show) y
    where (_, y) = runWriter f
 
main = do
    export f
    putStrLn "test"

import Control.Monad.Writer
 
type CNC = Writer [Int] ()
 
f :: CNC
f = do
    tell [1]
    tell [2]
    tell []
    tell [3]
    return ()
    tell [5]
 
export :: CNC -> IO ()
export f = 
    mapM_ (putStrLn.show) y
    where (_, y) = runWriter f
 
main = do
    export f
    putStrLn "test"