iRREFUT_PAT_ERROR_ID            = mkRuntimeErrorId irrefutPatErrorName
iRREFUT_PAT_ERROR_ID            = mkRuntimeErrorId irrefutPatErrorName
iRREFUT_PAT_ERROR_ID            = mkRuntimeErrorId irrefutPatErrorName