レコード構文内で定義された関数インタフェースの実装？

Question

私は、現時点では、読者のモナドをカバーしています、と私はrunReaderに遭遇しました：

newtype Reader e a = Reader {runReader :: (e -> a)} 

私はここにデータコンストラクタReaderがに渡されるために、2つの異なる種類（eとa）を有効にしていることを理解しますレコード構文を使用してのeおよびaで動作する型コンストラクタReader

私はこれのテストを実施しようとしている：

newtype Test a b = Test {runTest :: (a -> b)} 

にはどうすればrunTestの実装の作成について行くのですか？

Answer 1

t :: Test a b 

はその後

runTest t :: ? 

まあ、はい、runTest t :: a -> bの種類は何である場合。これは、aからbまでの関数と事実上同じです。同様に、Reader e aは事実上、最初の引数としてeを持つ関数です。

あなたは実装について尋ねましたが、私はReader Monadの実装方法を想定していますか？ Readerのモナドの実装では、すべてが最初の引数としてeを持つ複数の関数を作成し、それらのすべての最初の入力に単一のeを配布するように処理します。 eがあなたの関数への入力になります(runReader r) :: e -> a

私はここにトラックを実行している場合は私に知らせて、私は少し読者のモナドを肉体を尽くすだろうか分からない。