Jose C
Jose C
Similar to cats-effect `Sync[F]`, but without the "capture exceptions on map and flatmap" .
Working branch of for pact-core-v1
We don't use it, and chainweb builds without it
Fixes the situation where name resolution for lambdas named the same inside two different `TDef`s are detected as recursion. This is a pretty annoying bug, given a lot of people...
e.g: ``` (filter (< _ 1) [1 2 3]) ``` roughly translates to ``` (filter (lambda (_af1) (< _af1 1)) [1 2 3]) ```
Replacing [this](https://github.com/kadena-io/pact/blob/master/src-tool/Pact/Analyze/Feature.hs#L1651) with TH now that pat synonyms are supported in th.