-- 12:50

-- this version provide more type-safety : can't touch NetworkConfig or throw Network Errors
loadFromDb' :: (MonadReader DbConfig m,
                MonadError  DbError  m,
                MonadIO              m)
               => m MyData
loadFromDb' = undefined
loadFromDb' :: (MonadReader DbConfig m,
                MonadError  DbError  m,
                MonadIO              m)
               => m MyData
loadFromDb' = undefined
loadFromDb' = undefined