-- Inspired by Agda's undefined.h
#define __ ERROR("no error message given")
#define ERROR(msg) (error (__FILE__ ++ ", line " ++ show (__LINE__ :: Int) ++ ": " ++ msg))
#define FROMJUST(msg) (\ m -> case m of { Just x -> x; Nothing -> ERROR(msg) })