Oops: matchVars used Maybe's mappend/mconcat when it needed Maybe-monad semantics