definition module ABC.Misc

abortn :: String -> a