How to use IO with components

components-io.hs

data Logger m = Logger {
  info :: Text -> m ()
, warn :: Text -> m ()  
}

-- | IO is only used to create the Logger
newLogger :: Logger IO
newLogger = Logger {
  info = \t -> print ("[INFO] " <> show t)
, warn = \t -> print ("[WARN] " <> show t)  
}

data Calculator m = Calculator {
  add :: Int -> Int -> m Int
}

-- | IO is only used to create the Calculator
newCalculator :: Logger IO -> Calculator IO 
newCalculator logger = Calculator {
  add = add' logger
}

-- | When using the Logger in the "business logic" we only need to assume `Monad m`
add' :: Monad m => Logger m -> Int -> Int -> m Int
add' logger a b = do
  let c = a + b
  info logger ("the result is " <> show c)
  pure c