Need to check the issue with the type inference over in both branches of .match.
Need to check the issue with the type inference over in both branches of .match.