Refactor kleisli/function order to make code flow better

[neutropolis]

At the time being, we supply functions at the very first parameter. I thought this was nicer since syntax order is closer to Haskell, but since we don't have do-notation or for-comprehensions I think that we can benefit from having the kleisli defined as the second parameter, as in:

bind[foo] {[a]
  bind[bar] {[b]
    bind[baz] ret
  }
}

[neutropolis]

Let's wait for the motivation and examples to determine if this is a good or bad idea...