EitherTNondeterminism
raii
eitherTNondeterminism
EitherTNondeterminism