bind's lifting function takes one fewer parameter