Reader monad laws - unit tests

Forgot to include these files in an earlier commit