まぁHaskellさんの真骨頂はモナド(あくまでも市井で言われてるようなレベルの話)より型と型クラスじゃないかなーと最近は思いますね

型って雄弁だね.hs

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
newtype FizzBuzz = FizzBuzz Int deriving (Enum, Eq, Ord, Num, Real, Integral)

instance Show FizzBuzz where
    show x = (fizz ++ buzz) `or` show asInt where
        fizz | ifMultipleOf 3 = "fizz" | otherwise = []
        buzz | ifMultipleOf 5 = "buzz" | otherwise = []

        ifMultipleOf n = x `mod` n == 0
        or [] ys = ys
        or xs __ = xs
        asInt = (fromIntegral x) :: Int

main = mapM_ putStrLn $ map show ([1..] :: [FizzBuzz])