, noMethodBindingError
, nonExhaustiveGuardsError
, patError
+ , recSelError
, recConError
, recUpdError -- :: String -> a
--, noExplicitMethodError
, nonExhaustiveGuardsError
, patError
+ , recSelError
, recConError
, recUpdError :: String -> a
irrefutPatError s = error (untangle s "Irrefutable pattern failed for pattern")
nonExhaustiveGuardsError s = error (untangle s "Non-exhaustive guards in")
patError s = error (untangle s "Non-exhaustive patterns in")
+recSelError s = error (untangle s "Missing field in record selection:")
recConError s = error (untangle s "Missing field in record construction:")
recUpdError s = error (untangle s "Record to doesn't contain field(s) to be updated")