Welcome to the Functional Programming Zulip Chat Archive. You can join the chat here.
It seems like it is possible to get bitten by lack of "inferable transitivity" of Members constraints in opaque contexts: https://github.com/axellang/axel/blob/purescript-backend/src/Axel/Macros.hs#L477
Members
Author's solution actually doesn't work - it may be possible to fix it, but I think this one is a deeper problem to solve
Relevant: https://github.com/polysemy-research/polysemy/issues/280
If we explicitly write down wanted Members constraint, problem reduces down to Members es r => Members es (e:r)
Members es r => Members es (e:r)
Author here, happy to answer any questions about this specific example
It seems like it is possible to get bitten by lack of "inferable transitivity" of
Members
constraints in opaque contexts: https://github.com/axellang/axel/blob/purescript-backend/src/Axel/Macros.hs#L477Author's solution actually doesn't work - it may be possible to fix it, but I think this one is a deeper problem to solve
Relevant: https://github.com/polysemy-research/polysemy/issues/280
If we explicitly write down wanted
Members
constraint, problem reduces down toMembers es r => Members es (e:r)
Author here, happy to answer any questions about this specific example