MonadPlus instance seems wrong
fommil opened this issue · comments
I think we can only provide MonadPlus when E is Unit. Otherwise we can't differentiate between failures and the empty failure, or maybe our Plus logic needs to be more advanced.
Indeed it does! FYI zio/zio@17af8bf