readerIsAskAndMap

ApplicativeAskLaws