On Mon, May 14, 2018 at 06:17:33PM -0400, Lawrence Bottorff wrote: > λ> :t (<>) > (<>) :: Semigroup a => a -> a -> a > > I'm curious what this is. I'm guessing it's something that later versions > can do? Yes, since GHC 8.4 the operator `<>` is part of the Prelude. Congrats on 8.4.2 working!