在Reader单子内部，环境会作为一个函数参数传递。ask函数实际上就是返回当前环境函数。

以下是一个简单的示例代码，阐明了在Reader单子中如何使用ask函数：

import Control.Monad.Reader

-- 定义一个自定义数据类型
data AppConfig = AppConfig {
    appName :: String,
    appVersion :: Int
} deriving Show

-- 声明一个类型别名，它是Reader单子特化版的函数类型
type App = Reader AppConfig

-- 定义一个返回应用名称的函数
getAppName :: App String
getAppName = do
    config <- ask  -- 调用ask函数，读取当前环境函数
    return (appName config)  -- 返回应用名称

-- 测试代码
main :: IO ()
main = do
    let config = AppConfig "MyApp" 1
    putStrLn $ runReader getAppName config
    -- Output: "MyApp"

在这个示例中，AppConfig是我们自定义的数据类型，它包含了应用的名称和版本号。我们使用 Reader AppConfig 声明了一个特化的 Reader 单子。然后，我们定义了一个函数 getAppName，它调用了 ask 函数来获取当前的环境函数。在这个函数中，我们只返回了应用的名称，而版本号则被忽略了。最后，我们通过 runReader 函数来运行这个单子。我们给 runReader 函数传入了初始配置，它会被当做 Reader 单子的环境函数。

结果将输出应用的名称：'MyApp”。