Yes, sorry I meant: take 3 <$> (many $ Just 1)

On Fri, Sep 30, 2016 at 9:31 PM, Albert Y. C. Lai <trebla@vex.net> wrote:
On 2016-09-29 03:49 PM, Corentin Dupont wrote:
But why doesn't this terminates?

take 3 $ many $ Just 1

That looks like a type error rather than non-termination.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.