ThrowableXor

XorCreation

Translate

Interpret

t

FailedFinalizer FailedValue Union2L Union2R Union3L Union3M Union3R UnionAppendL UnionAppendR

ta

Union1

tell

WriterCreation

toErrorFullMessage

ErrorOrOkOps

toErrorSimpleMessage

ErrorOrOkOps

toMonadic

ImpureAp

trace

ErrorEffect

traceWithIndent

ErrorEffect

transform

Arrs Interpret MemberIn MemberInOut Unions EffOps

transformUnion

MemberInOut

translate

Interpret EffOps

translateNat

Interpret

traverseA

EffCreation EffApplicativeOps

tuple2

EffApplicativeSyntaxOps