Binds the item in S to a new object with the provided key.
S
The instance of Functor for S.
Functor
The bound object in S.
Binds the item in
Sto a new object with the provided key.