Tried to make progress with the bind associativity but not much luck