[Haskell-cafe] ANNOUNCE: tagged-list v1.0

[Gregory Crosswhite]

  On 10/14/10 1:15 AM, Jonas Almström Duregård wrote:
> [...]
>
> Also, what is UntaggedList used for, and how is it different from [].
>
> /J
>

UntaggedList makes it easy for you do things like the following:

     processListAsTaggedList :: [a] -> (forall n. TaggedList n a -> b) -> b
     processListAsTaggedList xs f =
         case fromListAsUntagged xs of
             UntaggedList lst -> f lst

Cheers,
Greg