Filled out other pattern spec
FailMatch.instance -> Match.fail