Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to '\x,y =>')
Merge branch 'master' into lambdastyle

Conflicts:
	libs/prelude/Prelude/Vect.idr
Turn pureM into a function
added zipWith3 and associated functions for streams
Merge pull request #1638 from johnny-john/lambdastyle

Changing all lambdas to use comma separated style (e.g. '\x => \y =>' to...
Merge pull request #1651 from Melvar/pureM-function

Turn pureM into a function
Merge pull request #1653 from japesinator/add_zip3_streams

added zipWith3 and associated functions for streams
Merge pull request #1654 from edwinb/partial-eval

Partial evaluation improvements
Partially evaluate type class dictionaries

All constraints are assumed to be 'static' so functions with type class
constraints will now be monomorphised, ultimately.

(I should add a flag to turn partial evaluation off, shortly, in case
this is not wanted, or too slow...)