Adding readme and using partial for tests.
- Add partial applied functions for the functor law tests.