challenge8a - added monad laws check for Http