looking at functor laws - namely 2 exercises from Typeclassopedia.