Exercise solution: These, first and second

Add your own implementations of first and second for These in the Lib module of your test project.

So far, we’ve only provided bimap, which means we have derived implementations of first and second, but writing our own means we need to ensure that what we’ve written behaves coherently with bimap.