diff --git a/spec/matchers/have_matcher_spec.cr b/spec/matchers/have_matcher_spec.cr
index d89de0a..6315f39 100644
--- a/spec/matchers/have_matcher_spec.cr
+++ b/spec/matchers/have_matcher_spec.cr
@@ -1,526 +1,604 @@
 require "../spec_helper"
 
 describe Spectator::Matchers::HaveMatcher do
-  describe "#match?" do
+  describe "#match" do
     it "uses ===" do
       array = %i[a b c]
       spy = SpySUT.new
       partial = new_partial(array)
       matcher = Spectator::Matchers::HaveMatcher.new({spy})
-      matcher.match?(partial).should be_true
+      matcher.match(partial)
       spy.case_eq_call_count.should be > 0
     end
 
-    context "with a String" do
-      context "one argument" do
-        context "against a matching string" do
-          it "is true" do
-            value = "foobarbaz"
-            search = "bar"
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_true
-          end
+    context "returned MatchData" do
+      describe "#matched?" do
+        context "with a String" do
+          context "one argument" do
+            context "against a matching string" do
+              it "is true" do
+                value = "foobarbaz"
+                search = "bar"
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
 
-          context "at the beginning" do
-            it "is true" do
-              value = "foobar"
-              search = "foo"
-              partial = new_partial(value)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+              context "at the beginning" do
+                it "is true" do
+                  value = "foobar"
+                  search = "foo"
+                  partial = new_partial(value)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+
+              context "at the end" do
+                it "is true" do
+                  value = "foobar"
+                  search = "bar"
+                  partial = new_partial(value)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+            end
+
+            context "against a different string" do
+              it "is false" do
+                value = "foobar"
+                search = "baz"
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a matching character" do
+              it "is true" do
+                value = "foobar"
+                search = 'o'
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+
+              context "at the beginning" do
+                it "is true" do
+                  value = "foobar"
+                  search = 'f'
+                  partial = new_partial(value)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+
+              context "at the end" do
+                it "is true" do
+                  value = "foobar"
+                  search = 'r'
+                  partial = new_partial(value)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+            end
+
+            context "against a different character" do
+              it "is false" do
+                value = "foobar"
+                search = 'z'
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
           end
 
-          context "at the end" do
-            it "is true" do
-              value = "foobar"
-              search = "bar"
-              partial = new_partial(value)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+          context "multiple arguments" do
+            context "against matching strings" do
+              it "is true" do
+                value = "foobarbaz"
+                search = {"foo", "bar", "baz"}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+            end
+
+            context "against one matching string" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {"foo", "qux"}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against no matching strings" do
+              it "is false" do
+                value = "foobar"
+                search = {"baz", "qux"}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against matching characters" do
+              it "is true" do
+                value = "foobarbaz"
+                search = {'f', 'b', 'z'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+            end
+
+            context "against one matching character" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {'f', 'c', 'd'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against no matching characters" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {'c', 'd', 'e'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a matching string and character" do
+              it "is true" do
+                value = "foobarbaz"
+                search = {"foo", 'z'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+            end
+
+            context "against a matching string and non-matching character" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {"foo", 'c'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a non-matching string and matching character" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {"qux", 'f'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a non-matching string and character" do
+              it "is false" do
+                value = "foobarbaz"
+                search = {"qux", 'c'}
+                partial = new_partial(value)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
           end
         end
 
-        context "against a different string" do
-          it "is false" do
-            value = "foobar"
-            search = "baz"
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_false
-          end
-        end
+        context "with an Enumberable" do
+          context "one argument" do
+            context "against an equal value" do
+              it "is true" do
+                array = %i[a b c]
+                search = :b
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
 
-        context "against a matching character" do
-          it "is true" do
-            value = "foobar"
-            search = 'o'
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_true
-          end
+              context "at the beginning" do
+                it "is true" do
+                  array = %i[a b c]
+                  search = :a
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
 
-          context "at the beginning" do
-            it "is true" do
-              value = "foobar"
-              search = 'f'
-              partial = new_partial(value)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+              context "at the end" do
+                it "is true" do
+                  array = %i[a b c]
+                  search = :c
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+            end
+
+            context "against a different value" do
+              it "is false" do
+                array = %i[a b c]
+                search = :z
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a matching type" do
+              it "is true" do
+                array = %i[a b c]
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+
+              context "at the beginning" do
+                it "is true" do
+                  array = [:a, 1, 2]
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+
+              context "at the end" do
+                it "is true" do
+                  array = [0, 1, :c]
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+            end
+
+            context "against a non-matching type" do
+              it "is false" do
+                array = %i[a b c]
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({Int32})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
+
+            context "against a matching regex" do
+              it "is true" do
+                array = %w[FOO BAR BAZ]
+                search = /bar/i
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+
+              context "at the beginning" do
+                it "is true" do
+                  array = %w[FOO BAR BAZ]
+                  search = /foo/i
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+
+              context "at the end" do
+                it "is true" do
+                  array = %w[FOO BAR BAZ]
+                  search = /baz/i
+                  partial = new_partial(array)
+                  matcher = Spectator::Matchers::HaveMatcher.new({search})
+                  match_data = matcher.match(partial)
+                  match_data.matched?.should be_true
+                end
+              end
+            end
+
+            context "against a non-matching regex" do
+              it "is false" do
+                array = %w[FOO BAR BAZ]
+                search = /qux/i
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new({search})
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
           end
 
-          context "at the end" do
-            it "is true" do
-              value = "foobar"
-              search = 'r'
-              partial = new_partial(value)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+          context "multiple arguments" do
+            context "against equal values" do
+              it "is true" do
+                array = %i[a b c]
+                search = {:a, :b}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
+
+              context "matching type" do
+                context "matching regex" do
+                  it "is true" do
+                    array = [:a, 42, "FOO"]
+                    search = {:a, Int32, /foo/i}
+                    partial = new_partial(array)
+                    matcher = Spectator::Matchers::HaveMatcher.new(search)
+                    match_data = matcher.match(partial)
+                    match_data.matched?.should be_true
+                  end
+                end
+
+                context "non-matching regex" do
+                  it "is false" do
+                    array = [:a, 42, "FOO"]
+                    search = {:a, Int32, /bar/i}
+                    partial = new_partial(array)
+                    matcher = Spectator::Matchers::HaveMatcher.new(search)
+                    match_data = matcher.match(partial)
+                    match_data.matched?.should be_false
+                  end
+                end
+              end
+
+              context "non-matching type" do
+                context "matching regex" do
+                  it "is false" do
+                    array = [:a, 42, "FOO"]
+                    search = {:a, Float32, /foo/i}
+                    partial = new_partial(array)
+                    matcher = Spectator::Matchers::HaveMatcher.new(search)
+                    match_data = matcher.match(partial)
+                    match_data.matched?.should be_false
+                  end
+                end
+
+                context "non-matching regex" do
+                  it "is false" do
+                    array = [:a, 42, "FOO"]
+                    search = {:a, Float32, /bar/i}
+                    partial = new_partial(array)
+                    matcher = Spectator::Matchers::HaveMatcher.new(search)
+                    match_data = matcher.match(partial)
+                    match_data.matched?.should be_false
+                  end
+                end
+              end
             end
-          end
-        end
 
-        context "against a different character" do
-          it "is false" do
-            value = "foobar"
-            search = 'z'
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_false
-          end
-        end
-      end
-
-      context "multiple arguments" do
-        context "against matching strings" do
-          it "is true" do
-            value = "foobarbaz"
-            search = {"foo", "bar", "baz"}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
-        end
-
-        context "against one matching string" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {"foo", "qux"}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against no matching strings" do
-          it "is false" do
-            value = "foobar"
-            search = {"baz", "qux"}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against matching characters" do
-          it "is true" do
-            value = "foobarbaz"
-            search = {'f', 'b', 'z'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
-        end
-
-        context "against one matching character" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {'f', 'c', 'd'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against no matching characters" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {'c', 'd', 'e'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against a matching string and character" do
-          it "is true" do
-            value = "foobarbaz"
-            search = {"foo", 'z'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
-        end
-
-        context "against a matching string and non-matching character" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {"foo", 'c'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against a non-matching string and matching character" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {"qux", 'f'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against a non-matching string and character" do
-          it "is false" do
-            value = "foobarbaz"
-            search = {"qux", 'c'}
-            partial = new_partial(value)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-      end
-    end
-
-    context "with an Enumberable" do
-      context "one argument" do
-        context "against an equal value" do
-          it "is true" do
-            array = %i[a b c]
-            search = :b
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_true
-          end
-
-          context "at the beginning" do
-            it "is true" do
-              array = %i[a b c]
-              search = :a
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+            context "against one equal value" do
+              it "is false" do
+                array = %i[a b c]
+                search = {:a, :d}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
-          end
 
-          context "at the end" do
-            it "is true" do
-              array = %i[a b c]
-              search = :c
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+            context "against no equal values" do
+              it "is false" do
+                array = %i[a b c]
+                search = {:d, :e}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
-          end
-        end
 
-        context "against a different value" do
-          it "is false" do
-            array = %i[a b c]
-            search = :z
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against a matching type" do
-          it "is true" do
-            array = %i[a b c]
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
-            matcher.match?(partial).should be_true
-          end
-
-          context "at the beginning" do
-            it "is true" do
-              array = [:a, 1, 2]
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
-              matcher.match?(partial).should be_true
+            context "against matching types" do
+              it "is true" do
+                array = [:a, 42, "FOO"]
+                search = {Symbol, String}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
             end
-          end
 
-          context "at the end" do
-            it "is true" do
-              array = [0, 1, :c]
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({Symbol})
-              matcher.match?(partial).should be_true
+            context "against one matching type" do
+              it "is false" do
+                array = [:a, 42, "FOO"]
+                search = {Symbol, Float32}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
-          end
-        end
 
-        context "against a non-matching type" do
-          it "is false" do
-            array = %i[a b c]
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({Int32})
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against a matching regex" do
-          it "is true" do
-            array = %w[FOO BAR BAZ]
-            search = /bar/i
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_true
-          end
-
-          context "at the beginning" do
-            it "is true" do
-              array = %w[FOO BAR BAZ]
-              search = /foo/i
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+            context "against no matching types" do
+              it "is false" do
+                array = [:a, 42, "FOO"]
+                search = {Float32, Bytes}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
             end
-          end
 
-          context "at the end" do
-            it "is true" do
-              array = %w[FOO BAR BAZ]
-              search = /baz/i
-              partial = new_partial(array)
-              matcher = Spectator::Matchers::HaveMatcher.new({search})
-              matcher.match?(partial).should be_true
+            context "against matching regexes" do
+              it "is true" do
+                array = %w[FOO BAR BAZ]
+                search = {/foo/i, /bar/i}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
+              end
             end
-          end
-        end
 
-        context "against a non-matching regex" do
-          it "is false" do
-            array = %w[FOO BAR BAZ]
-            search = /qux/i
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new({search})
-            matcher.match?(partial).should be_false
-          end
-        end
-      end
+            context "against one matching regex" do
+              it "is false" do
+                array = %w[FOO BAR BAZ]
+                search = {/foo/i, /qux/i}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
 
-      context "multiple arguments" do
-        context "against equal values" do
-          it "is true" do
-            array = %i[a b c]
-            search = {:a, :b}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
+            context "against no matching regexes" do
+              it "is false" do
+                array = %w[FOO BAR]
+                search = {/baz/i, /qux/i}
+                partial = new_partial(array)
+                matcher = Spectator::Matchers::HaveMatcher.new(search)
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_false
+              end
+            end
 
-          context "matching type" do
-            context "matching regex" do
+            context "against equal and matching type and regex" do
               it "is true" do
                 array = [:a, 42, "FOO"]
                 search = {:a, Int32, /foo/i}
                 partial = new_partial(array)
                 matcher = Spectator::Matchers::HaveMatcher.new(search)
-                matcher.match?(partial).should be_true
-              end
-            end
-
-            context "non-matching regex" do
-              it "is false" do
-                array = [:a, 42, "FOO"]
-                search = {:a, Int32, /bar/i}
-                partial = new_partial(array)
-                matcher = Spectator::Matchers::HaveMatcher.new(search)
-                matcher.match?(partial).should be_false
-              end
-            end
-          end
-
-          context "non-matching type" do
-            context "matching regex" do
-              it "is false" do
-                array = [:a, 42, "FOO"]
-                search = {:a, Float32, /foo/i}
-                partial = new_partial(array)
-                matcher = Spectator::Matchers::HaveMatcher.new(search)
-                matcher.match?(partial).should be_false
-              end
-            end
-
-            context "non-matching regex" do
-              it "is false" do
-                array = [:a, 42, "FOO"]
-                search = {:a, Float32, /bar/i}
-                partial = new_partial(array)
-                matcher = Spectator::Matchers::HaveMatcher.new(search)
-                matcher.match?(partial).should be_false
+                match_data = matcher.match(partial)
+                match_data.matched?.should be_true
               end
             end
           end
         end
+      end
 
-        context "against one equal value" do
-          it "is false" do
-            array = %i[a b c]
-            search = {:a, :d}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against no equal values" do
-          it "is false" do
-            array = %i[a b c]
-            search = {:d, :e}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against matching types" do
-          it "is true" do
-            array = [:a, 42, "FOO"]
-            search = {Symbol, String}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
-        end
-
-        context "against one matching type" do
-          it "is false" do
-            array = [:a, 42, "FOO"]
-            search = {Symbol, Float32}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against no matching types" do
-          it "is false" do
-            array = [:a, 42, "FOO"]
-            search = {Float32, Bytes}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against matching regexes" do
-          it "is true" do
-            array = %w[FOO BAR BAZ]
-            search = {/foo/i, /bar/i}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
-          end
-        end
-
-        context "against one matching regex" do
-          it "is false" do
-            array = %w[FOO BAR BAZ]
-            search = {/foo/i, /qux/i}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against no matching regexes" do
-          it "is false" do
-            array = %w[FOO BAR]
-            search = {/baz/i, /qux/i}
-            partial = new_partial(array)
-            matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_false
-          end
-        end
-
-        context "against equal and matching type and regex" do
-          it "is true" do
+      describe "#values" do
+        context "subset" do
+          it "has the expected value" do
             array = [:a, 42, "FOO"]
             search = {:a, Int32, /foo/i}
             partial = new_partial(array)
             matcher = Spectator::Matchers::HaveMatcher.new(search)
-            matcher.match?(partial).should be_true
+            match_data = matcher.match(partial)
+            match_data.values[:subset].should eq(search)
+          end
+        end
+
+        context "superset" do
+          it "has the actual value" do
+            array = [:a, 42, "FOO"]
+            search = {:a, Int32, /foo/i}
+            partial = new_partial(array)
+            matcher = Spectator::Matchers::HaveMatcher.new(search)
+            match_data = matcher.match(partial)
+            match_data.values[:superset].should eq(array)
+          end
+        end
+      end
+
+      describe "#message" do
+        it "contains the actual label" do
+          value = "foobar"
+          search = "baz"
+          label = "everything"
+          partial = new_partial(value, label)
+          matcher = Spectator::Matchers::HaveMatcher.new({search})
+          match_data = matcher.match(partial)
+          match_data.message.should contain(label)
+        end
+
+        it "contains the expected label" do
+          value = "foobar"
+          search = "baz"
+          label = "everything"
+          partial = new_partial(value)
+          matcher = Spectator::Matchers::HaveMatcher.new({search}, label)
+          match_data = matcher.match(partial)
+          match_data.message.should contain(label)
+        end
+
+        context "when expected label is omitted" do
+          it "contains stringified form of expected value" do
+            value = "foobar"
+            search = "baz"
+            partial = new_partial(value)
+            matcher = Spectator::Matchers::HaveMatcher.new({search})
+            match_data = matcher.match(partial)
+            match_data.message.should contain(search)
+          end
+        end
+      end
+
+      describe "#negated_message" do
+        it "contains the actual label" do
+          value = "foobar"
+          search = "baz"
+          label = "everything"
+          partial = new_partial(value, label)
+          matcher = Spectator::Matchers::HaveMatcher.new({search})
+          match_data = matcher.match(partial)
+          match_data.negated_message.should contain(label)
+        end
+
+        it "contains the expected label" do
+          value = "foobar"
+          search = "baz"
+          label = "everything"
+          partial = new_partial(value)
+          matcher = Spectator::Matchers::HaveMatcher.new({search}, label)
+          match_data = matcher.match(partial)
+          match_data.negated_message.should contain(label)
+        end
+
+        context "when expected label is omitted" do
+          it "contains stringified form of expected value" do
+            value = "foobar"
+            search = "baz"
+            partial = new_partial(value)
+            matcher = Spectator::Matchers::HaveMatcher.new({search})
+            match_data = matcher.match(partial)
+            match_data.negated_message.should contain(search)
           end
         end
       end
     end
   end
-
-  describe "#message" do
-    it "contains the actual label" do
-      value = "foobar"
-      search = "baz"
-      label = "everything"
-      partial = new_partial(value, label)
-      matcher = Spectator::Matchers::HaveMatcher.new({search})
-      matcher.message(partial).should contain(label)
-    end
-
-    it "contains the expected label" do
-      value = "foobar"
-      search = "baz"
-      label = "everything"
-      partial = new_partial(value)
-      matcher = Spectator::Matchers::HaveMatcher.new({search}, label)
-      matcher.message(partial).should contain(label)
-    end
-
-    context "when expected label is omitted" do
-      it "contains stringified form of expected value" do
-        value = "foobar"
-        search = "baz"
-        partial = new_partial(value)
-        matcher = Spectator::Matchers::HaveMatcher.new({search})
-        matcher.message(partial).should contain(search)
-      end
-    end
-  end
-
-  describe "#negated_message" do
-    it "contains the actual label" do
-      value = "foobar"
-      search = "baz"
-      label = "everything"
-      partial = new_partial(value, label)
-      matcher = Spectator::Matchers::HaveMatcher.new({search})
-      matcher.negated_message(partial).should contain(label)
-    end
-
-    it "contains the expected label" do
-      value = "foobar"
-      search = "baz"
-      label = "everything"
-      partial = new_partial(value)
-      matcher = Spectator::Matchers::HaveMatcher.new({search}, label)
-      matcher.negated_message(partial).should contain(label)
-    end
-
-    context "when expected label is omitted" do
-      it "contains stringified form of expected value" do
-        value = "foobar"
-        search = "baz"
-        partial = new_partial(value)
-        matcher = Spectator::Matchers::HaveMatcher.new({search})
-        matcher.negated_message(partial).should contain(search)
-      end
-    end
-  end
 end
diff --git a/src/spectator/matchers/have_matcher.cr b/src/spectator/matchers/have_matcher.cr
index fd1d785..4637a04 100644
--- a/src/spectator/matchers/have_matcher.cr
+++ b/src/spectator/matchers/have_matcher.cr
@@ -7,8 +7,7 @@ module Spectator::Matchers
   struct HaveMatcher(ExpectedType) < ValueMatcher(ExpectedType)
     # Determines whether the matcher is satisfied with the value given to it.
     # True is returned if the match was successful, false otherwise.
-    def match?(partial)
-      actual = partial.actual
+    private def match?(actual)
       if actual.is_a?(String)
         match_string?(actual)
       else
@@ -16,12 +15,6 @@ module Spectator::Matchers
       end
     end
 
-    # Determines whether the matcher is satisfied with the partial given to it.
-    # `MatchData` is returned that contains information about the match.
-    def match(partial) : MatchData
-      raise NotImplementedError.new("#match")
-    end
-
     # Checks if a `String` matches the expected values.
     # The `includes?` method is used for this check.
     private def match_string?(actual)
@@ -41,16 +34,39 @@ module Spectator::Matchers
       end
     end
 
-    # Describes the condition that satisfies the matcher.
-    # This is informational and displayed to the end-user.
-    def message(partial)
-      "Expected #{partial.label} to include #{label}"
+    # Determines whether the matcher is satisfied with the partial given to it.
+    # `MatchData` is returned that contains information about the match.
+    def match(partial)
+      values = ExpectedActual.new(partial, self)
+      MatchData.new(match?(values.actual), values)
     end
 
-    # Describes the condition that won't satsify the matcher.
-    # This is informational and displayed to the end-user.
-    def negated_message(partial)
-      "Expected #{partial.label} to not include #{label}"
+    # Match data specific to this matcher.
+    private struct MatchData(ExpectedType, ActualType) < MatchData
+      # Creates the match data.
+      def initialize(matched, @values : ExpectedActual(ExpectedType, ActualType))
+        super(matched)
+      end
+
+      # Information about the match.
+      def values
+        {
+          subset:   @values.expected,
+          superset: @values.actual,
+        }
+      end
+
+      # Describes the condition that satisfies the matcher.
+      # This is informational and displayed to the end-user.
+      def message
+        "#{@values.actual_label} includes #{@values.expected_label}"
+      end
+
+      # Describes the condition that won't satsify the matcher.
+      # This is informational and displayed to the end-user.
+      def negated_message
+        "#{@values.actual_label} does not include #{@values.expected_label}"
+      end
     end
   end
 end