1 2 3 4 5 6 7
module Ask where newtype Reader r a = Reader { runReader :: r -> a } ask :: Reader a a ask = Reader id