1newtype Reader r a = Reader (r -> a)
2
3test :: b -> Reader r a
4test b = _
5
6