Further work on monad_law_1 for Conduit