at runtime
matchContextErrString PatSyn                     = panic "matchContextErrString"  -- Not use
matchContextErrString PatSyn                     = panic "matchContextErrString"
matchContextErrString PatSyn                     = panic "matchContextErrString"