Triangle 0 1 printing with comonadic stream

Triangle.hs

import           Control.Comonad    (extract, (<<=), (=>>))
import           Control.Monad      (void)
import           Data.Functor       (fmap)
import           Data.List          (intersperse)
import           Data.List.NonEmpty (NonEmpty, toList, (<|))
import           Data.Monoid        (mconcat)
import           Data.Traversable   (traverse)
import           Prelude            (IO, Int, String, drop, id, mod, otherwise,
                                     putStrLn, take, undefined, ($), (.), (==))

triangleIO :: Int -> IO ()
triangleIO count =
  void $ traverse putStrLn $ take count triangle'

triangle :: String
triangle = mconcat $ intersperse "\n" triangle'

triangle' :: [String]
triangle' = fmap h [1..]
  where f n | n `mod` 2 == 0 = g '0' '1'
            | otherwise      = g '1' '0'
        g x y = x <| y <| g x y =>> extract
        h n = intersperse ' ' . take n . toList $ f n