SequenceFunctionMonadTests: understanding 'bind'