bimap
Spec
ERefM
zio
flatMapM
BoolAlgebra
foldM
Spec
fromEffect
BoolAlgebraM
Gen
fromEffectSample
Gen
mapM
BoolAlgebra
Gen
RefM
zio
whenM
Spec
ZRefM
zio