Added `bindOn` and some type annotations