Adds Witness class which is immediately used in MonadCircuit as described in #307, usages refactored.
Also some minor refactorings to improve readability along the way.
Added all of you to reviewers mostly to notify you because this is an important change in the MonadCircuit API
Adds
Witness
class which is immediately used inMonadCircuit
as described in #307, usages refactored. Also some minor refactorings to improve readability along the way.Added all of you to reviewers mostly to notify you because this is an important change in the
MonadCircuit
API