2011/5/31 Scott Lawrence <byt...@gmail.com>: > Evaluation here also doesn't terminate (or, (head $ unfoldM (return . > head)) doesn't), although I can't figure out why. fmap shouldn't need to > fully evaluate a list to prepend an element, right?
I'm afriad fmap doesn't get to choose - if the monad is strict then both definitions are equivalent (probably...). _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
