import Test.Hspec

my_tests = do
  context "my context" $
    it "does something" $
      property $ \pos xs0 xs1 ->
        FancyError pos xs0 <> FancyError pos xs1
          `shouldBe` (FancyError pos (E.union xs0 xs1) :: PE)