<div id="yiv9416275160"><div style="font-family:courier new, courier, monaco, monospace, sans-serif;font-size:13px;" class="yiv9416275160yahoo-style-wrap"><div dir="ltr"><font face="times new roman, new york, times, serif" size="3">We know that lists have map.  Sometimes we want to take the higher perspective of Functor, replacing map with fmap, then replacing fmap with <$> .  This post asks the corresponding question about append.</font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3"><br></font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3">The notation for append within List itself is ++ .  Often we think of lists as Monads.  Applicative generalizes Monad, and Alternative specializes Applicative.  Alternative has <|> which behaves as ++ on List.  I have been using <|> for this purpose.</font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3"><br></font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3">Recently, I have begun to read and enjoy "Effective Haskell".  In Chapter 1, this book uses <> for append.  Clearly they are thinking of List as a Semigroup.</font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3"><br></font></div><div dir="ltr"><font face="times new roman, new york, times, serif" size="3">I'm curious about your thoughts on ++ versus <|> versus <> .</font></div></div></div>