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.


Sign up for access to the full page, plus the complete archive and all the latest content.