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

On Wed, Feb 20, 2008 at 10:46 PM, wrote:

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

Almost. The projection has type f a -> Maybe (a, f a), but msplit has type f a -> f (Maybe (a, f a)). -- Dave Menendez http://www.eyrie.org/~zednenem/