emptyMatchResult :: MatchResult
emptyMatchResult = MatchResult (emptySubstitution, [])
emptyMatchResult :: MatchResult
emptyMatchResult = MatchResult (emptySubstitution, [])
emptyMatchResult = MatchResult (emptySubstitution, [])