module LawsCheckingSpec (spec) where

import Test.Hspec

spec :: Spec
spec =
  describe "laws testing" $
      it "1 + 1 == 2" $
        1 + 1 `shouldBe` (2 :: Integer)