ErrString PatBindRhs           = text "pattern binding"
matchContex
matchContextErrString PatBindRhs           = text "pattern binding"
matchContextErrString PatBindRhs           = text "pattern binding"