Re: [Haskell-cafe] Re: The Proliferation of List-Like Types

G'day all. Quoting Neil Mitchell :

Yes, its the projection onto another type:

[] = Nothing (x:xs) = Just (x, xs)

Also known as msplit: http://www.haskell.org/haskellwiki/New_monads/MonadSplit Cheers, Andrew Bromage