, error -- :: String -> a
, assertError -- :: String -> Bool -> a -> a
, error -- :: String -> a
, assertError -- :: String -> Bool -> a -> a
-- It is expected that compilers will recognize this and insert error
-- messages which are more appropriate to the context in which undefined
-- appears.
-- It is expected that compilers will recognize this and insert error
-- messages which are more appropriate to the context in which undefined
-- appears.