Finishing Applicative, after looking up the last two
The bind function for Id