Compact bind definition (without fun)
SequenceFunctionMonadTests: understanding 'bind' 2