switch -> switchTo
Pattern applicative functor support
Tupple traverse
Monoid mreduce
NNDef FRP jitlib style