LoggingBiMid

Logging middleware for binary typeconstructor parameterized algebras Alg[LoggingBiMid] is a special form of implicit evidence of injectable logging support generally you don't need Logging instance to derive this so choice of logging postponed until this middleware is attached to the core instance