gistfile1.txt

<jusss> MarcelineVQ: but that's I do const a :: b -> a
<dmwit> What is the `a` in `const a`? It doesn't exist.
* EduardoBautista has quit (Ping timeout: 252 seconds)
* carif ([email protected]) has joined
* smasta has quit (Ping timeout: 268 seconds)
<MarcelineVQ> It means that Int and 3 live in different namespaces, Int is a type and 3 is a value. 3 doesn't belong to the right of :: and Int doesn't belong to the left.
* m-renaud (sid333785@gateway/web/irccloud.com/x-yvslmyywugovcxfp) has joined
* fnurglewitz (uid263868@gateway/web/irccloud.com/x-xhmjgnhcvxzyxenm) has joined
<fr33domlover> dmwit, in this case each thread has a TMVar (I'm using async package) and I just need to wait for them all to finish
* jusss` ([email protected]) has joined
<dmwit> (It doesn't exist. It's not in scope. There's nothing with that name. These are all just different ways of saying the same thing, but maybe one of them will be more understandable to you.)
<dmwit> fr33domlover: Then I think there's no reason to put them all in the same transaction.
* alphazb (~alphazb@unaffiliated/alphazb) has joined
* Nascha (sid212230@gateway/web/irccloud.com/x-urrixibjxrkaiajd) has joined
* aqd ([email protected]) has joined
* ocharles has quit (Ping timeout: 252 seconds)
<MarcelineVQ> It's unclear what you mean when you say "const a :: b -> a" because we're not sure if you think the 'a' of "const a" is a name for some value or is a type variable.
<jusss`> sorry, my network just broken
<MarcelineVQ> id is a value, that happens to bea function, with the type (a -> a)