Some generalizations

More sequenceType instead of arrays
JSON returning Result with errors
Ability to override Futures in external modules
Nothing extended to more-than-Nothing
Operator precedence