Either, Maybe, Memoize and MakeStream