Decide if 2 `DIP`s are better than a `DIP 2`
Clarification and motivation
In Indigo.Backend.Scope
we have a ScopeCodeGen'
instance that requires a DIP 2
(or in other words, a Lorentz's dipN @2
).
However, because of doubts of costs it was implemented as two nested DIP
s (Lorentz's dip . dip
).
We need to figure out which one is less expensive and remove the TODO
.
Acceptance criteria
Remove the TODO
in Indigo.Backend.Scope
's ScopeCodeGen'
instance definition, leaving it as-is or replacing dip . dip
with dipN @2
in case the latter is less expensive.