Exercise solution: These, first and second
Exercise
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
.