-- 10:06

{-
-- instance MonadReader AppConfig App
ask :: App AppConfig

-- instance MonadError AppError App
throwError :: AppError -> App a
catchError :: App a -> (AppError -> App a) -> App q

-- instance MonadIO App
liftIO :: IO a -> App a
-}

-- 11:00

-- No type-safety in following:

loadFromDb :: App MyData
loadFromDb = undefined
loadFromDb :: App MyData
loadFromDb = undefined
loadFromDb = undefined