Memoization tests; Bind's for Either and Maybe