I wrote a code for testing Functor laws of two datatypes, "Constant" and "Wrap". I completed code for quickchecking Constant datatype, but I got stuck in Wra
