Test code 'Zio like monad with extensible error handling'