fail

Effectful

flatMapNeverProgressesOnFailOfF

RecoverableLaws

flatMapNeverStopsForG

RecoverableLaws

flatMapNotProgressOnFail

EffectfulLaws

from

Iso

fromA

MkNonFailingIO

fromIo

MkNonFailingIO

functionK

ByNameNt