SugarInfer.memoLoadInfer as a wrapper for load&inferMaybe that has a justification for its memoization correctness