Let's not put this in the monad package (since it isn't one as far as I know). Just algebird, I suppose.