inspired by http://logicaltypes.blogspot.com/2014/02/arrow-is-spelt-fizz-buzz.html

gistfile1.hs

{-# LANGUAGE TypeSynonymInstances, FlexibleInstances #-}
 
import Control.Arrow
import Data.Monoid
 
type FizzBuzz = Either String Int
 
showFB :: FizzBuzz -> String
showFB (Left x)  = x
showFB (Right x) = show x
 
instance Monoid FizzBuzz where
    mempty = Right 0
    mappend (Left x) (Left y)   = Left (x ++ y)
    mappend x@(Left _) _        = x
    mappend _ y@(Left _)        = y
    mappend (Right m) (Right n) = Right (max m n)
 
predfb :: String -> Int -> Int -> FizzBuzz
predfb s m n | n `mod` m == 0 = Left s
             | otherwise      = Right n
 
fizz = predfb "fizz" 3
buzz = predfb "buzz" 5
 
fizzbuzz = [1..100] >>= return . (fizz &&& buzz >>> uncurry mappend >>> showFB)
 
main :: IO ()
main = putStr $ show $ fizzbuzz