Class MemoizeMapCombinator<K,​V,​IO>